关注我们：

solidot新版网站常见问题，请点击这里查看。

Formality – An efficient programming language and proof assistant

来源于:Hacker News
Formality – An efficient programming language and proof assistant 查看全文>>