README.org - vikalpa.git - Vikalpa is a proof assistant inspired by J-Bob

summary refs log tree commit diff

path: root/README.org

blob: 1e9e886413fa19584306578a62bbb83cfd689354 (plain)

1
2
3

* vikalpa

  Vikalpa is a proof assistant inspired by J-Bob.