News for hackers. Stuff that matters.

A comment on Make formal verification and provably correct software practical and mainstream. Parent comment

Re:Make formal verification and provably correct software pr... by blainehansen on Saturday June 04, 2022 @12:56AM (#31617138)
Hi, maintainer/author of Magmide here: https://github.com/magmide/magmide#gradually-verifiable https://github.com/magmide/magmide#fully-reusable https://github.com/magmide/magmide#isnt-formal-verification-...
[ Parent | on HN ]

There are no comments on this comment yet.