lsrcz / mini-prover
Term project for TaPL. A mini coq-like proof assistant.
☆17Updated 6 years ago
Alternatives and similar repositories for mini-prover:
Users that are interested in mini-prover are comparing it to the libraries listed below
- a tutorial implementation on an elaborator of a dependently typed language with pruning