PrototypeCommune
uds-psl/coq-library-undecidability
A library of mechanised undecidability proofs in the Coq proof assistant.
- Propriétaire
- uds-psl (organisation)
- Étoiles
- Étoiles : 145
- Forks
- Forks : 39
- Langage
- Rocq Prover
- Licence
- MPL-2.0
- Création
- 2018
- Sujets
- coq
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de uds-psl
Les 2 dépôts de uds-psl- uds-psl/MPCTTÉtoiles : 129Rocq ProverPrototype
D’autres dépôts Rocq Prover
Tous les dépôts Rocq Prover- mit-plv/kamiÉtoiles : 173Rocq ProverPrototype
- rocq-community/math-classesÉtoiles : 169Rocq ProverPrototype
- mit-plv/fiatÉtoiles : 157Rocq ProverPrototype
- rocq-community/coq-ext-libÉtoiles : 136Rocq ProverPrototype
- neelsomani/vericudaÉtoiles : 134Rocq ProverPrototype
- AU-COBRA/ConCertÉtoiles : 129Rocq ProverPrototype