News for hackers. Stuff that matters.

A comment on Formal methods: Just good engineering practice?. Parent comment

Re:Formal methods: Just good engineering practice? by coldtea on Monday June 24, 2024 @12:20PM (#40777927)
My comment was already about proofs "to a specific mathematical limit" still being useful and better than nothing, tho
[ Parent | on HN ]

There are no comments on this comment yet.