Description
Formal proofs can be developed interactively using first-order natural deduction. Logic researchers, teachers, and advanced students use Minlog to study constructive proofs, proof terms, and related mathematical logic workflows.
It is a proof assistant/research system, not a general calculator. Correct use requires understanding formal logic and the meaning of the generated proof objects.