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 |
Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | ord.scm | 2367 | logplain |
-rw-r--r-- | primitive.scm | 968 | logplain |
-rw-r--r-- | syntax.scm | 1164 | logplain |