Formality – An efficient programming language and proof assistant

Article URL: https://github.com/maiavictor/formality

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

Points: 74

# Comments: 20

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