index
:
vikalpa.git
develop
develop-202001
master
Vikalpa is a proof assistant inspired by J-Bob
Masaya Tojo
summary
refs
log
tree
commit
diff
log msg
author
committer
range
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-09-16
Version up from 0.1.1 to 0.2.0.
v0.2.0
Masaya Tojo
2021-09-16
Add core-system/equal system.
Masaya Tojo
2021-09-16
Change `define-system` interface.
Masaya Tojo
2021-09-15
Rename syntax from `set` to `=`.
Masaya Tojo
2021-01-19
Upgrade version to 0.1.1.
v0.1.1
Masaya Tojo
2021-01-19
Update synopsis and description.
Masaya Tojo
2021-01-19
Add tests.
v0.1.0
Masaya Tojo
2021-01-19
Add `vikalpa.scm`.
Masaya Tojo
2021-01-19
Initial commit.
Masaya Tojo