List Question
2 TechQA 2019-06-25T03:55:17.803000how to run mizar on mac
273 views
Asked by Mathew
How does one prove there is a Natural number equal to 1 in Mizar (mathematical theorem proving language)?
187 views
Asked by Charlie Parker