v0.0.1

archaeron released this 01 Jun 23:22

· 445 commits to master since this release

fcd91a2

Added

Case-splitting (ctrl-alt-c) (@fangel)
Clause-adding (ctrl-alt-a) (@fangel)
Proof-search (ctrl-alt-s) (@fangel)
Showing the types of meta-variables (ctrl-alt-t) (@fangel)
Show the doc of a variable (@fangel)

Assets 2