Mizar Project

Mizar Project
All Links

Share this:

Details of Mizar Project

About Mizar Project
Mizar Project- An attempt to reconstruct mathematical vernacular into a formal language which can be read by humans and also verified by software.
Sculpture and Art