https://github.com/coq-contribs/topology
History
Tip revision: 0aab07cd933cc5fe2952a6fcf9a35a4eb1e2208c authored by Columbus240 on 28 September 2023, 06:14:19 UTC
Sort _CoqProject file
Tip revision: 0aab07c
File Mode Size
.github
theories
.gitignore -rw-r--r-- 158 bytes
LICENSE -rw-r--r-- 26.5 KB
Makefile -rw-r--r-- 335 bytes
README.md -rw-r--r-- 5.8 KB
_CoqProject -rw-r--r-- 2.7 KB
coq-topology.opam -rw-r--r-- 873 bytes
coq-zorns-lemma.opam -rw-r--r-- 910 bytes
dune-project -rw-r--r-- 48 bytes
meta.yml -rw-r--r-- 5.5 KB

README.md

back to top