PrototypeCommon
uds-psl/coq-library-undecidability
A library of mechanised undecidability proofs in the Coq proof assistant.
- Owner
- uds-psl (organization)
- Stars
- Stars: 145
- Forks
- Forks: 39
- Language
- Rocq Prover
- License
- MPL-2.0
- Created
- 2018
- Topics
- coq
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by uds-psl
All 2 repos by uds-psl- uds-psl/MPCTTStars: 129Rocq ProverPrototype
Nearby in Rocq Prover
All Rocq Prover repos- mit-plv/kamiStars: 173Rocq ProverPrototype
- rocq-community/math-classesStars: 169Rocq ProverPrototype
- mit-plv/fiatStars: 157Rocq ProverPrototype
- rocq-community/coq-ext-libStars: 136Rocq ProverPrototype
- neelsomani/vericudaStars: 134Rocq ProverPrototype
- fraunhoferfokus/acsl-by-exampleStars: 129Rocq ProverPrototype