Coq

Interactive Theorem Provers: Coq, Isabelle, and Beyond

Comprehensive guide to interactive theorem provers, exploring how to use tools like Coq and Isabelle for formal verification and mathematical proof.