▲ 5 pointsMizar: The first usable proof assistant for mathematicslawrencecpaulson.github.ioby chmaynard·3mo ago·0 comments·view on hn ↗