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

by D Blei