https://github.com/coq-contribs/topology
Tip revision: 0aab07cd933cc5fe2952a6fcf9a35a4eb1e2208c authored by Columbus240 on 28 September 2023, 06:14:19 UTC
Sort _CoqProject file
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 |