AlphaPeu commune
stepchowfun/proofs
My personal repository of formally verified mathematics.
- Propriétaire
- stepchowfun (compte personnel)
- Étoiles
- Étoiles : 316
- Forks
- Forks : 15
- Langage
- Rocq Prover
- Licence
- MIT
- Création
- 2017
- Sujets
- coqproof-assistantformal-verificationtype-theoryinteractive-theorem-provingleanlean-theorem-proverlean4rocqrocq-prover
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
Autres dépôts de stepchowfun
Les 8 dépôts de stepchowfun- stepchowfun/toastÉtoiles : 1 636RustBêta
- stepchowfun/typicalÉtoiles : 767RustBêta
- stepchowfun/docuumÉtoiles : 715RustBêta
- stepchowfun/theorem-proverÉtoiles : 244PythonPrototype
- stepchowfun/tagrefÉtoiles : 242RustPrototype
- stepchowfun/socket.jsÉtoiles : 143JavaScriptPrototype
D’autres dépôts Rocq Prover
Tous les dépôts Rocq Prover- jasmin-lang/jasminÉtoiles : 389Rocq ProverAlpha
- ccz181078/Coq-BB5Étoiles : 377Rocq ProverAlpha
- mit-plv/bedrock2Étoiles : 340Rocq ProverAlpha
- QuickChick/QuickChickÉtoiles : 296Rocq ProverAlpha
- DeepSpec/InteractionTreesÉtoiles : 261Rocq ProverAlpha
- rocq-community/fourcolorÉtoiles : 252Rocq ProverAlpha