| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .envrc | 10 | logstatsplainaboutblame |
| -rw-r--r-- | .gitignore | 117 | logstatsplainaboutblame |
| -rw-r--r-- | LICENSE | 1706 | logstatsplainaboutblame |
| -rw-r--r-- | Makefile | 511 | logstatsplainaboutblame |
| -rw-r--r-- | README.md | 2498 | logstatsplainaboutblame |
| -rw-r--r-- | _CoqProject | 13 | logstatsplainaboutblame |
| -rw-r--r-- | binop.v | 2820 | logstatsplainaboutblame |
| -rw-r--r-- | complete.v | 15940 | logstatsplainaboutblame |
| -rw-r--r-- | correct.v | 8170 | logstatsplainaboutblame |
| -rw-r--r-- | expr.v | 9081 | logstatsplainaboutblame |
| -rw-r--r-- | flake.lock | 1494 | logstatsplainaboutblame |
| -rw-r--r-- | flake.nix | 497 | logstatsplainaboutblame |
| -rw-r--r-- | interpreter.v | 3045 | logstatsplainaboutblame |
| -rw-r--r-- | maptools.v | 16741 | logstatsplainaboutblame |
| -rw-r--r-- | matching.v | 22956 | logstatsplainaboutblame |
| -rw-r--r-- | relations.v | 2812 | logstatsplainaboutblame |
| -rw-r--r-- | sem.v | 5835 | logstatsplainaboutblame |
| -rw-r--r-- | semprop.v | 10656 | logstatsplainaboutblame |
| -rw-r--r-- | shared.v | 1931 | logstatsplainaboutblame |
| -rw-r--r-- | sound.v | 26048 | logstatsplainaboutblame |
 |
index : mininix-formalization | |
| Coq Formalization for Mininix | Rutger Broekhoff |
| aboutsummaryrefslogtreecommitdiffstats |