Formality – An efficient programming language and proof assistant

Comments

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

Comments

Popular posts from this blog