coq-community

Archived

3 repositories

goedel
Public archive
Archived since the contents have been moved to the Hydras & Co. repository
incompleteness docker-coq-action godel-numbering coq
Coq
•
MIT License
•5•28•0•0•Updated Oct 23, 2022Oct 23, 2022
matrix_canonical_forms
Public archive
Archived since the contents have been moved to the CoqEAL repository
matrices mathcomp coq
Coq
•
MIT License
•0•0•0•0•Updated Oct 19, 2021Oct 19, 2021
zorns-lemma
Public archive
Archived since the contents have been moved to the topology repository
coq set-theory coq-library
Coq
•
Other
•6•6•0•0•Updated Dec 21, 2020Dec 21, 2020