680 followers
2,556 followers
2,537 followers
2008 Book on Higher Order Logics, on which systems such #Isabelle, #Coq, #Nuprl are based. Are there more recent books I could consult? cc @larsr_h https://t.co/S7YXx2zJRJ
903 followers
Certified Exact Transcendental Real Number Computation in Coq https://t.co/zUoAybqEie (pdf)