The Mizar proof system (2017)

Article URL: http://www.cs.kun.nl/~freek/mizar/

Comments URL: https://news.ycombinator.com/item?id=20595403

Points: 25

# Comments: 1

from Hacker News: Front Page https://ift.tt/2GFPjig
via