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