We need to spend less time on inventing theorem provers, and instead…: roseandsigil

roseandsigil

Feb 10, 2010 08:16

We need to spend less time on inventing theorem provers, and instead work on provem theorers!