- FOM Home Page
Closed, moderated, e-mail list for discussing foundations of mathematics.
http://www.math.psu.edu/simpson/fom/
(Rating: 0.00 Votes: 0)
Rate It
Review It - QED Project
Working to build a single, distributed, computerized repository that rigorously represents all important, established mathematical knowledge.
http://www-unix.mcs.anl.gov/qed/
(Rating: 0.00 Votes: 0)
Rate It
Review It |
