Andrei Sipoș, Introduction to Type Theory for Interactive Theorem Proving
Vlad Rusu, Traian Florin Șerbănuță, Introduction to Coq
Julian Sutherland, Horațiu Cheval, Introduction to Lean
Andrei Sipoș, Introduction to Type Theory for Interactive Theorem Proving
Vlad Rusu, Traian Florin Șerbănuță, Introduction to Coq
Julian Sutherland, Horațiu Cheval, Introduction to Lean