rocq-prover/rocq
@rocq-proverRocq Prover est un assistant de preuve interactif. Il fournit un langage formel pour écrire des définitions mathématiques, des algorithmes exécutables et des théorèmes, ainsi qu'un environnement pour le développement semi-interactif de preuves vérifiées par machine.
Étoiles
5 562
Bifurcations
756
Langage
OCaml
Licence
LGPL-2.1
Dernier push
il y a 1 semaine
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.