| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | 01-implementation.tex | 319 | logplainblame |
| -rw-r--r-- | 02-soundness-proof.tex | 383 | logplainblame |
| -rw-r--r-- | 03-benchmarks.tex | 91 | logplainblame |
| d--------- | implementation | 186 | logplain |
| d--------- | soundness-proof | 240 | logplain |
 |
index : vein.git | |
| VEIN: VErification via Interaction Nets | Eric Marin |
| summaryrefslogtreecommitdiff |