Foundations : Logic and Foundations : Mathematics : Science and Technology : Web Directory by Internet-Web-Directory.com

Skip to Content

Web Directory >> Science and Technology >> Mathematics >> Logic and Foundations >> Foundations

Foundations (Subscribe)

Links

Mizar Project

http://www.mizar.org/

An attempt to reconstruct mathematical vernacular into a formal language which can be read by humans and also verified by software.

More Details Review It Rate It Bookmark It