Surf these sites: Category Theory -- Directory and resource site. FOM -- Foundations of Mathematics Mailing List Homepage Mizar Project -- An attempt to reconstruct mathematical vernacular QED Project -- Build a single, distributed, computerized repository that rigorously represents all important, established mathematical knowledge
Help build the largest human-edited
directory on the web.