AlphaUncommon
stepchowfun/proofs
My personal repository of formally verified mathematics.
- Owner
- stepchowfun (personal account)
- Stars
- Stars: 316
- Forks
- Forks: 15
- Language
- Rocq Prover
- License
- MIT
- Created
- 2017
- Topics
- coqproof-assistantformal-verificationtype-theoryinteractive-theorem-provingleanlean-theorem-proverlean4rocqrocq-prover
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by stepchowfun
All 8 repos by stepchowfun- stepchowfun/toastStars: 1,636RustBeta
- stepchowfun/typicalStars: 767RustBeta
- stepchowfun/docuumStars: 715RustBeta
- stepchowfun/theorem-proverStars: 244PythonPrototype
- stepchowfun/tagrefStars: 242RustPrototype
- stepchowfun/socket.jsStars: 143JavaScriptPrototype
Nearby in Rocq Prover
All Rocq Prover repos- jasmin-lang/jasminStars: 389Rocq ProverAlpha
- ccz181078/Coq-BB5Stars: 377Rocq ProverAlpha
- mit-plv/bedrock2Stars: 340Rocq ProverAlpha
- QuickChick/QuickChickStars: 296Rocq ProverAlpha
- DeepSpec/InteractionTreesStars: 261Rocq ProverAlpha
- rocq-community/fourcolorStars: 252Rocq ProverAlpha