| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| develop | wip | Masaya Tojo | 3 years | |
| develop-202001 | wip81 | Masaya Tojo | 3 years | |
| master | Update to 0.3.5. | Masaya Tojo | 3 years | |
| Tag | Download | Author | Age | |
| v0.3.5 | commit 8af34bc69a... | Masaya Tojo | 3 years | |
| v0.3.4 | commit 73b00d3ec4... | Masaya Tojo | 3 years | |
| v0.3.3 | commit 8db40ba61c... | Masaya Tojo | 3 years | |
| v0.3.2 | commit fd0554fcd9... | Masaya Tojo | 3 years | |
| v0.3.1 | commit 2c56c001ca... | Masaya Tojo | 3 years | |
| v0.3.0 | commit 0988b88305... | Masaya Tojo | 3 years | |
| v0.2.0 | commit 6abdf4e5fb... | Masaya Tojo | 3 years | |
| v0.2.1 | commit f8923416fe... | Masaya Tojo | 3 years | |
| v0.2.2 | commit b0987ec4e6... | Masaya Tojo | 3 years | |
| v0.1.1 | commit f587949213... | Masaya Tojo | 3 years | |
| [...] | ||||
| Age | Commit message | Author | ||
| 2021-01-16 | wip81develop-202001 | Masaya Tojo | ||
| 2021-01-16 | wip80 | Masaya Tojo | ||
| 2021-01-10 | wip71 | Masaya Tojo | ||
| 2021-01-10 | wip70 | Masaya Tojo | ||
| 2021-01-05 | wip69 | Masaya Tojo | ||
| 2021-01-05 | wip68 | Masaya Tojo | ||
| 2021-01-05 | wip67 | Masaya Tojo | ||
| 2021-01-05 | wip66 | Masaya Tojo | ||
| 2021-01-05 | wip65 | Masaya Tojo | ||
| 2021-01-05 | wip64 | Masaya Tojo | ||
| [...] | ||||
 |
index : vikalpa.git | |
| Vikalpa is a proof assistant inspired by J-Bob | Masaya Tojo |
| summaryrefslogtreecommitdiff |