List Question
2 TechQA 2018-11-28 04:29:34How does one prove there is a Natural number equal to 1 in Mizar (mathematical theorem proving language)?
163 views
Asked by Charlie Parker
how to run mizar on mac
240 views
Asked by Mathew