| Age | Commit message (Expand) | Author |
|---|---|---|
| 2020-11-21 | wip31 | Masaya Tojo |
| 2020-11-21 | wip29 | Masaya Tojo |
| 2020-11-20 | wip28 | Masaya Tojo |
| 2020-11-20 | wip27 | Masaya Tojo |
| 2020-11-19 | wip26 | Masaya Tojo |
 |
index : vikalpa.git | |
| Vikalpa is a proof assistant inspired by J-Bob | Masaya Tojo |
| summaryrefslogtreecommitdiff |