| Age | Commit message (Expand) | Author |
|---|---|---|
| 2020-12-18 | wip58 | Masaya Tojo |
| 2020-11-24 | wip34 | Masaya Tojo |
| 2020-11-21 | wip33 | Masaya Tojo |
| 2020-11-21 | wip32 | Masaya Tojo |
 |
index : vikalpa.git | |
| Vikalpa is a proof assistant inspired by J-Bob | Masaya Tojo |
| summaryrefslogtreecommitdiff |