Mizar Project

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

Rate This Site

More in Foundations Report

QR Code

Download PNG

Embed Badge

<a href="https://e-sygoing.link/go/5285586" title="Mizar Project"><img src="https://e-sygoing.link/badge.php?lid=5285586" alt="Listed on e-sygoing.link" height="20"></a>

Place this code on your website to show you're listed here.

Mizar Project

Rate This Site

Submit Your Site

Related Links