PrototypeCommon
rocq-community/math-classes
A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
- Owner
- rocq-community (organization)
- Stars
- Stars: 169
- Forks
- Forks: 42
- Language
- Rocq Prover
- License
- MIT
- Created
- 2011
- Topics
- coq-librarytypeclassesmathematicscoqcoq-cicoq-platform
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by rocq-community
All 9 repos by rocq-community- rocq-community/rocq-tricksStars: 556CoqAlpha
- rocq-community/awesome-coqStars: 397Alpha
- rocq-community/fourcolorStars: 252Rocq ProverAlpha
- rocq-community/rocq-lspStars: 212OCamlPrototype
- rocq-community/coq-ext-libStars: 136Rocq ProverPrototype
- rocq-community/coq-artStars: 131CoqPrototype
Nearby in Rocq Prover
All Rocq Prover repos- theorem-labs/oss-verify-proofsStars: 189Rocq ProverPrototype
- CertiRocq/certirocqStars: 183Rocq ProverPrototype
- mit-plv/kamiStars: 173Rocq ProverPrototype
- mit-plv/fiatStars: 157Rocq ProverPrototype
- uds-psl/coq-library-undecidabilityStars: 145Rocq ProverPrototype
- rocq-community/coq-ext-libStars: 136Rocq ProverPrototype