Home Submit URL Add to Favorite Contact
           20 May, 2019
 
    
Category:  Science »  Math »  Logic and Foundations »  Foundations SUBMIT A SITE | Suggest A Category |  Search Category

Foundations

Records 1-1 of 1
Order by  Date Added  |  Popularity  |  Alphabet
Mizar Project (Popularity: )
http://www.mizar.org/
An attempt to reconstruct mathematical vernacular into a formal language which can be read by humans and also verified by ...