HOL-Theorem-Prover / hol-guidebookLinks
HOL Guidebook
☆11Updated 10 months ago
Alternatives and similar repositories for hol-guidebook
Users that are interested in hol-guidebook are comparing it to the libraries listed below
Sorting:
- git mirror of the Munich isabelle hg repository☆125Updated this week
- Community contributions to the Grammatical Framework☆61Updated last year
- Lean theorem prover version 0.2 (it supports standard and HoTT modes)☆122Updated 3 years ago
- OCamlPro public development repository for Alt-Ergo☆139Updated last week
- Robots powered by Constructive Reals☆34Updated 7 years ago
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆56Updated 10 years ago
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆37Updated last year
- ☆58Updated 11 years ago
- ☆151Updated 2 weeks ago
- SML, The Living Language (aka, Successor ML)☆72Updated 9 years ago
- mmj2 GUI Proof Assistant for the Metamath project☆76Updated 11 months ago
- Theorem proving in Lean☆49Updated 10 months ago
- https://jenkins.logicmoo.org/job/logicmoo_workspace https://logicmoo.org/xwiki/☆44Updated 2 years ago
- NaDeA (Natural Deduction Assistant) - With a Formalization in Isabelle☆16Updated 2 years ago
- Supplementary files for SSFT 2015 summer school☆11Updated 5 years ago
- Specware consists of a formal specification language and tools for transformation and refinement to efficient implementations in CommonLi…☆23Updated 3 years ago
- An Open Encyclopedia of Proof Systems☆119Updated 3 years ago
- Lem semantic definition language☆145Updated 5 months ago
- The Definition of Standard ML, Revised (1997)☆115Updated 8 years ago
- The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]☆72Updated this week
- An automatic theorem prover for first order logic with equality☆31Updated 5 years ago
- ☆89Updated 3 years ago
- An algebra for Matrix Expressions written in Maude☆24Updated 12 years ago
- Coq library for verified low-level programming☆60Updated 8 years ago
- Automatically exported from code.google.com/p/ghilbert☆48Updated 7 years ago
- The Definition of Standard ML (1990)☆124Updated 10 years ago
- Lecture material for DeepSpec Summer School 2018☆68Updated 6 years ago
- ☆34Updated 4 years ago
- YAP Development release☆15Updated 4 years ago
- T2 Temporal Prover☆95Updated 7 years ago