Age | Commit message (Expand) | Author |
---|---|---|
2020-11-08 | wip6 | Masaya Tojo |
2020-11-08 | wip5 | Masaya Tojo |
2020-11-08 | wip4 | Masaya Tojo |
2020-11-07 | wip3 | Masaya Tojo |
2020-11-07 | wip2 | Masaya Tojo |
2020-11-07 | wip | Masaya Tojo |
2020-10-23 | Initial commit.... | Masaya Tojo |
index : vikalpa.git | ||
Vikalpa is a proof assistant inspired by J-Bob | Masaya Tojo |
summaryrefslogtreecommitdiff |