1
$\begingroup$

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 !

$\endgroup$
  • $\begingroup$ This would be a start: andres-loeh.de/LambdaPi $\endgroup$ – Labbekak Jun 11 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$ – Alex Nelson Aug 23 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.