https://github.com/GeoCoq/GeoCoq
Tip revision: 2f038905da84b8e63f07e2bf5b1b1bf348e1e0a1 authored by Pierre Boutry on 03 April 2024, 07:51:27 UTC
faster script for tcp_ndc.v
faster script for tcp_ndc.v
Tip revision: 2f03890
| File | Mode | Size |
|---|---|---|
| theories | ||
| .gitignore | -rw-r--r-- | 122 bytes |
| AUTHORS | -rw-r--r-- | 174 bytes |
| Changelog | -rw-r--r-- | 7.8 KB |
| LICENSE | -rw-r--r-- | 7.5 KB |
| README.md | -rw-r--r-- | 2.6 KB |
| _CoqProject-Algebraic.in | -rw-r--r-- | 158 bytes |
| _CoqProject-Axioms.in | -rw-r--r-- | 152 bytes |
| _CoqProject-Coinc.in | -rw-r--r-- | 150 bytes |
| _CoqProject-Elements.in | -rw-r--r-- | 156 bytes |
| _CoqProject-Main.in | -rw-r--r-- | 148 bytes |
| _CoqProject.in | -rw-r--r-- | 138 bytes |
| configure-algebraic.sh | -rwxr-xr-x | 169 bytes |
| configure-axioms.sh | -rwxr-xr-x | 163 bytes |
| configure-coinc.sh | -rwxr-xr-x | 161 bytes |
| configure-elements.sh | -rwxr-xr-x | 167 bytes |
| configure-main.sh | -rwxr-xr-x | 159 bytes |
| configure.sh | -rwxr-xr-x | 149 bytes |
| coq-geocoq-algebraic.opam | -rw-r--r-- | 1.0 KB |
| coq-geocoq-axioms.opam | -rw-r--r-- | 1.1 KB |
| coq-geocoq-coinc.opam | -rw-r--r-- | 830 bytes |
| coq-geocoq-elements.opam | -rw-r--r-- | 901 bytes |
| coq-geocoq-main.opam | -rw-r--r-- | 1.2 KB |
| coq-geocoq.opam | -rw-r--r-- | 1.5 KB |
| dune-project | -rw-r--r-- | 268 bytes |
