Mizar: The first usable proof assistant for mathematicslawrencecpaulson.github.io5 pointschmaynard2 months ago