Mizar: The first usable proof assistant for mathematicslawrencecpaulson.github.io2 pointsibobeva month ago