BêtaRare
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.
- Propriétaire
- HOL-Theorem-Prover (organisation)
- Étoiles
- Étoiles : 768
- Forks
- Forks : 178
- Langage
- Standard ML
- Licence
- Aucune
- Création
- 2009
- Sujets
- theorem-provinglambda-calculushigher-order-logic
- Rang
- Bêta (700 à 1 999 ★) Ce que veut dire ce rang
D’autres dépôts Standard ML
Tous les dépôts Standard ML- MLton/mltonÉtoiles : 1 098Standard MLBêta
- AuditProject/truecrypt-verified-mirrorÉtoiles : 871Standard MLBêta
- urweb/urwebÉtoiles : 852Standard MLBêta
- miaoermua/CatWrtÉtoiles : 649Standard MLAlpha
- jichangtuijian-cheap/cheap-airportsÉtoiles : 621Standard MLAlpha
- polyml/polymlÉtoiles : 579Standard MLAlpha