Verifier and Deductor for propositions in Formal Arithmetic.
This project is a part of Mathlogic homework at Computer technologies department, ITMO University.
Implemented tasks:
- Task4 — verifier and deductor for propositions in Formal Arithmetic.
- Task7 — proof constructions for proposition b ∣ a.