| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | CoLoR.nix | 50 | logplain |
| -rw-r--r-- | CompCert.nix | 181 | logplain |
| -rw-r--r-- | Corn.nix | 77 | logplain |
| -rw-r--r-- | Elpi.nix | 83 | logplain |
| -rw-r--r-- | GeoCoq.nix | 83 | logplain |
| -rw-r--r-- | HoTT.nix | 142 | logplain |
| -rw-r--r-- | README.md | 1181 | logplain |
| -rw-r--r-- | VST.nix | 79 | logplain |
| -rw-r--r-- | bedrock2.nix | 199 | logplain |
| -rw-r--r-- | bignums.nix | 65 | logplain |
| -rw-r--r-- | coq.nix | 220 | logplain |
| -rw-r--r-- | coq_dpdgraph.nix | 198 | logplain |
| -rw-r--r-- | coquelicot.nix | 207 | logplain |
| -rw-r--r-- | cross_crypto.nix | 92 | logplain |
| -rw-r--r-- | default.nix | 4811 | logplain |
| -rw-r--r-- | fiat_crypto.nix | 211 | logplain |
| -rw-r--r-- | flocq.nix | 162 | logplain |
| -rw-r--r-- | formal-topology.nix | 43 | logplain |
| -rw-r--r-- | gappa.nix | 210 | logplain |
| -rw-r--r-- | iris.nix | 45 | logplain |
| -rw-r--r-- | lambda-rust.nix | 43 | logplain |
| -rw-r--r-- | math_classes.nix | 82 | logplain |
| -rw-r--r-- | mtac2.nix | 150 | logplain |
| -rw-r--r-- | oddorder.nix | 51 | logplain |
| -rw-r--r-- | quickchick.nix | 172 | logplain |
| -rwxr-xr-x | shell | 471 | logplain |
| -rw-r--r-- | simple-io.nix | 174 | logplain |
| d--------- | unicoq | 83 | logplain |
| -rw-r--r-- | verdi-raft.nix | 74 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |