et al. Vampyre: A proof generating theorem prover. http://www.eecs.berkeley.edu/ rupak/Vampyre (0)

by D Blei