Description
Formal proofs can be built and explored in a configurable graphical assistant.
It is useful for students and educators learning logic, proof rules, and formal reasoning interactively. Proof assistants help structure reasoning, but results still depend on the configured logic and rules.