| 1. | Mizar Project | | | An attempt to reconstruct mathematical vernacular into a formal language which can be read by humans and also verified by software.
www.mizar.org |
| 2. | QED Project | | | Build a single, distributed, computerized repository that rigorously represents all important, established mathematical knowledge
www-unix.mcs.anl.gov |
| 4. | FOM | | | A closed, moderated, e-mail list for discussing Foundations of Mathematics moderated by Martin Davis. Archive available.
www.cs.nyu.edu |
| | |