Module Functioneel en Logisch Programmeren
Proof Tree
JCU: Wiskunde D. The application is either loading, or something went wrong.
Substitute
for
e.g. substitue bea for X0
Color coding help
- Incorrect rule application
- Incomplete proof
- Correct rule
- Syntax error
Example data
Example data containing the Dutch royal family, the list structure and lookup, and the natural numbers (as discussed in the JCU lecture notes) can be loaded by clicking the button below. Beware that this will replace all your existing rules!
Example proof goals to start with. Select a goal you want to proof and click "Start selected proof to" to begin proving the selected goal.
