| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | 01-mathematical-definitions.tex | 3130 | logplainblame |
| -rw-r--r-- | 02-soundness-of-translation.tex | 1482 | logplainblame |
| -rw-r--r-- | 03-soundness-of-interaction-rules.tex | 35220 | logplainblame |
| -rw-r--r-- | 04-soundness-of-reduction.tex | 5916 | logplainblame |
 |
index : vein.git | |
| VEIN: VErification via Interaction Nets | Eric Marin |
| summaryrefslogtreecommitdiff |