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


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