3,634 followers
The role of the Mizar Mathematical Library for interactive proof development in Mizar. ~ G. Bancerek et als. https://t.co/ZdFiz9hXN8 #ITP #Mizar #Math
The role of the Mizar Mathematical Library for interactive proof development in Mizar. ~ G. Bancerek et als. https://t.co/ZdFiz9hXN8 #ITP #Mizar #Math