Hello I'm searching for any good review article or book about the design an implementation of a proof-assistant, something such as the Dragon book for programming language. My background is undergraduate in maths.

Thanks in advance !

  • $\begingroup$ This would be a start: andres-loeh.de/LambdaPi $\endgroup$
    – Labbekak
    Jun 11 '19 at 15:36
  • $\begingroup$ There isn't one, alas; I would recommend John Harrison's Handbook of Practical Logic and Automated Reasoning for a gentle introduction. $\endgroup$ Aug 23 '19 at 16:40

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.