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

by D Blei