BetaRare
HOL-Theorem-Prover/HOL
Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.
- Owner
- HOL-Theorem-Prover (organization)
- Stars
- Stars: 768
- Forks
- Forks: 178
- Language
- Standard ML
- License
- None
- Created
- 2009
- Topics
- theorem-provinglambda-calculushigher-order-logic
- Tier
- Beta (700 to 1,999 ★) What this tier means
Nearby in Standard ML
All Standard ML repos- MLton/mltonStars: 1,098Standard MLBeta
- AuditProject/truecrypt-verified-mirrorStars: 871Standard MLBeta
- urweb/urwebStars: 852Standard MLBeta
- miaoermua/CatWrtStars: 649Standard MLAlpha
- jichangtuijian-cheap/cheap-airportsStars: 621Standard MLAlpha
- polyml/polymlStars: 579Standard MLAlpha