« SciVee | Main | New Journals will be Added to JSTOR Health and General Sciences Collection »

Metamath Proof Explorer

The Metamath Proof Explorer has over 6,000 computer-verified proofs, definitions, and axioms in logic and set theory, with a network of interconnected links and cross-references that can be used to track dependencies.

Posted by Michael Knee on August 27, 2007 01:30 PM |

TrackBack

TrackBack URL for this entry:
https://liblogs.albany.edu/mtadmin/mt-tb.cgi/921

Post a comment

(If you haven't left a comment here before, you may need to be approved by the site owner before your comment will appear. Until then, it won't appear on the entry. Thanks for waiting.)