* vikalpa

  Vikalpa is a proof assistant inspired by J-Bob.