Thursday, October 18, 2018

Formality – An efficient programming language and proof assistant

Formality – An efficient programming language and proof assistant 69 by maiavictor |

from SEO Tech Tips https://ift.tt/2AgmDtC
SEO Tech Tips Formality – An efficient programming language and proof assistant 69 by maiavictor | https://ift.tt/eA8V8J October 18, 2018 at 12:32PM https://ift.tt/2yfVyVV

No comments:

Post a Comment