9th International Conference on Interactive Theorem Proving (ITP) Held as Part of the Federated Logic Conference (FloC) Conference

Scholarly Activity

related documents

Boosting the Reuse of Formal Specifications Conferences
CalcCheck: A Proof Checker for Teaching the “Logical Approach to Discrete Math” Conferences