News for hackers. Stuff that matters.

A comment on Coming Soon: Machine-Checked Proofs in Everyday Development. Parent comment

Re:Coming Soon: Machine-Checked Proofs in Everyday Development by agentultra on Sunday December 31, 2017 @09:03AM (#16040574)
Sorry I forgot the link!

https://leanprover.github.io/

[ Parent | on HN ]

There are no comments on this comment yet.