| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | 01-inpla.tex | 2522 | logplainblame |
| -rw-r--r-- | 02-interaction-rules.tex | 31595 | logplainblame |
| -rw-r--r-- | 03-translation.tex | 4788 | logplainblame |
| -rw-r--r-- | 04-python-module.tex | 2106 | logplainblame |
 |
index : vein.git | |
| VEIN: VErification via Interaction Nets | Eric Marin |
| summaryrefslogtreecommitdiff |