blanchette / logical_verification_2020Links
Companion files for Logical Verification 2020–2021 at VU Amsterdam
☆96Updated 4 years ago
Alternatives and similar repositories for logical_verification_2020
Users that are interested in logical_verification_2020 are comparing it to the libraries listed below
Sorting:
- A graphical interactive proof assistant designed for education