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