Mizar: The first usable proof assistant for mathematicslawrencecpaulson.github.io3 points·danielam··0 commentsOpen articleSaveView on HN