| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .envrc | 10 | logstatsplainaboutblame |
| -rw-r--r-- | .gitignore | 117 | logstatsplainaboutblame |
| -rw-r--r-- | Makefile | 511 | logstatsplainaboutblame |
| -rw-r--r-- | _CoqProject | 13 | logstatsplainaboutblame |
| -rw-r--r-- | binop.v | 2820 | logstatsplainaboutblame |
| -rw-r--r-- | complete.v | 16099 | logstatsplainaboutblame |
| -rw-r--r-- | correct.v | 8170 | logstatsplainaboutblame |
| -rw-r--r-- | expr.v | 8984 | logstatsplainaboutblame |
| -rw-r--r-- | flake.lock | 1494 | logstatsplainaboutblame |
| -rw-r--r-- | flake.nix | 528 | logstatsplainaboutblame |
| -rw-r--r-- | interpreter.v | 3045 | logstatsplainaboutblame |
| -rw-r--r-- | maptools.v | 15848 | logstatsplainaboutblame |
| -rw-r--r-- | matching.v | 23870 | logstatsplainaboutblame |
| -rw-r--r-- | relations.v | 2496 | logstatsplainaboutblame |
| -rw-r--r-- | sem.v | 5835 | logstatsplainaboutblame |
| -rw-r--r-- | semprop.v | 13152 | logstatsplainaboutblame |
| -rw-r--r-- | shared.v | 1940 | logstatsplainaboutblame |
| -rw-r--r-- | sound.v | 26117 | logstatsplainaboutblame |
 |
index : mininix-formalization | |
| Coq Formalization for Mininix | Rutger Broekhoff |
| aboutsummaryrefslogtreecommitdiffstats |