| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | ord.scm | 2367 | logplainabout |
| -rw-r--r-- | primitive.scm | 968 | logplainabout |
| -rw-r--r-- | syntax.scm | 1164 | logplainabout |
 |
index : vikalpa.git | |
| Vikalpa is a proof assistant inspired by J-Bob | Masaya Tojo |
| summaryrefslogtreecommitdiff |
path: root/rabbit-prover