| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| develop | wip | Masaya Tojo | 4 years | |
| develop-202001 | wip81 | Masaya Tojo | 4 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 | 4 years | |
| v0.1.0 | commit 88c6250ba7... | Masaya Tojo | 4 years | |
 |
index : vikalpa.git | |
| Vikalpa is a proof assistant inspired by J-Bob | Masaya Tojo |
| summaryrefslogtreecommitdiff |