| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2020-11-24 | wip34 | Masaya Tojo | |
| 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 | |
| 2020-11-18 | wip21 | Masaya Tojo | |
| 2020-11-09 | wip10 | Masaya Tojo | |
 |
index : vikalpa.git | |
| Vikalpa is a proof assistant inspired by J-Bob | Masaya Tojo |
| summaryrefslogtreecommitdiff |