HOL-Theorem-Prover/HOL
@HOL-Theorem-ProverSources canoniques du système de démonstration de théorèmes HOL4. La branche develop est dédiée au développement principal ; une fois les tests de régression validés, la branche master est mise à jour.
Étoiles
757
Bifurcations
173
Langage
Standard ML
Licence
NOASSERTION
Dernier push
il y a 1 jour
Intel associée (0)
Aucune intel associée pour le moment
Ce dépôt n'est encore apparu dans aucune des sources que le radar suit. Le collecteur suit un calendrier — revenez une fois qu'il couvre ce dépôt.