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