Vikalpa is a proof assistant inspired by J-Bob http://git.tojo.tokyo/vikalpa.git/atom?h=v0.2.0