Browse New Popular Submit a Link
All ArtsBusinessChildrenComputersGamesHealthHomeNewsRecreationReferenceRegionalScienceShoppingSocietySports
Advertise herefrom $25.00/day  ·  RON $40.00/day

Mizar Project

mizar.org
Visit Site

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

Category
Foundations
Visits
427
Added
Nov 11, 2025
Rating
(131)
Rate This Site
More in Foundations Report
Advertise herefrom $12.00/day  ·  RON $18.00/day
Advertise herefrom $10.00/day  ·  RON $15.00/day
Advertise herefrom $8.00/day  ·  RON $11.20/day
Submit Your Site

Add your website to our directory for free.

Submit a Link
Related Links
QED Project 484 visits
Foundations of Mathematics 465 visits
FOM 451 visits
Practical Foundations of Mathematics 368 visits
Hilbert II - Mathematical Foundation Project 272 visits
Advertise herefrom $15.00/day  ·  RON $21.00/day