Age | Commit message (Expand) | Author |
---|---|---|
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 |
Age | Commit message (Expand) | Author |
---|---|---|
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 |