| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | CoLoR.nix | 47 | logplain |
| -rw-r--r-- | CompCert.nix | 181 | logplain |
| -rw-r--r-- | Corn.nix | 74 | logplain |
| -rw-r--r-- | Elpi.nix | 83 | logplain |
| -rw-r--r-- | GeoCoq.nix | 80 | logplain |
| -rw-r--r-- | HoTT.nix | 142 | logplain |
| -rw-r--r-- | README.md | 861 | logplain |
| -rw-r--r-- | VST.nix | 79 | logplain |
| -rw-r--r-- | bedrock2.nix | 199 | logplain |
| -rw-r--r-- | bignums.nix | 86 | logplain |
| -rw-r--r-- | coq.nix | 253 | logplain |
| -rw-r--r-- | coq_dpdgraph.nix | 198 | logplain |
| -rw-r--r-- | cross_crypto.nix | 92 | logplain |
| -rw-r--r-- | default.nix | 2396 | logplain |
| -rw-r--r-- | fiat_crypto.nix | 162 | logplain |
| -rw-r--r-- | fiat_crypto_legacy.nix | 131 | logplain |
| -rw-r--r-- | flocq.nix | 134 | logplain |
| -rw-r--r-- | math_classes.nix | 79 | logplain |
| -rw-r--r-- | mtac2.nix | 135 | logplain |
| -rw-r--r-- | oddorder.nix | 48 | logplain |
| -rwxr-xr-x | shell | 388 | logplain |
| -rw-r--r-- | unicoq.nix | 374 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |