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