L lawrencecpaulson.github.io Mizar: The first usable proof assistant for mathematics 3 points danielam 3 months ago 0 comments
