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

by D Blei