Difference between revisions of "Prove Command"
From GeoGebra Manual
Line 1: | Line 1: | ||
− | <noinclude>{{Manual Page|version=4.2}}</noinclude>{{betamanual|version= | + | <noinclude>{{Manual Page|version=4.2}}</noinclude>{{betamanual|version=5.0}} |
{{command|logical}} | {{command|logical}} | ||
− | ;Prove[ <Expression> ] | + | ;Prove[ <Boolean Expression> ] |