MikiBeta : A General GUI Library for Visualizing Proof Trees - System Description and Demonstration.

Kanako Sakurai, Kenichi Asai

Browse the full LOPSTR paper archive.