Coming Soon: Machine-Checked Proofs in Everyday Development

Comments

from Hacker News http://ift.tt/2EfGusD
via

Comments

Popular posts from this blog