blanchette / interactive_theorem_proving_2024Links

Files associated with the course Interactive Theorem Proving at LMU SoSe 2024
61Updated last year

Alternatives and similar repositories for interactive_theorem_proving_2024

Users that are interested in interactive_theorem_proving_2024 are comparing it to the libraries listed below

Sorting: