most recent 30 from http://mathoverflow.net 2013-05-25T15:01:16Z http://mathoverflow.net/feeds/user/9020 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/15689/is-there-any-proof-assistant-based-on-first-order-logic/37754#37754 Dan Christensen 2010-09-04T21:39:16Z 2010-09-04T21:39:16Z

<p>May I humbly suggest my DC Proof program. If is free for individual use and evaluation purposes. For more information and free, full-version download, visit my website www.dcproof.com</p> <p>Dan</p>