summaryrefslogtreecommitdiff
path: root/README.org
blob: 1e9e886413fa19584306578a62bbb83cfd689354 (about) (plain)
1
2
3
* vikalpa

  Vikalpa is a proof assistant inspired by J-Bob.