6
votes
Accepted
How could I make a Proof Assistant?
There are many good resources, such as the little prover book, "A tutorial implementation
of a dependently typed lambda calculus" tutorial, "A simple type-theoretic language: Mini-TT&...
- 6,532
Only top scored, non community-wiki answers of a minimum length are eligible