Formality – An efficient programming language and proof assistant 69 by maiavictor |
from SEO Tech Tips https://ift.tt/2AgmDtC
SEO Tech Tips https://ift.tt/eA8V8J October 18, 2018 at 12:32PM https://ift.tt/2yfVyVV https://ift.tt/2yfVyVV
Thursday, October 18, 2018
Formality – An efficient programming language and proof assistant
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment