News for hackers. Stuff that matters.

A comment on CreuSAT: Formally verified SAT solver written in Rust and verified with Creusot. Parent comment

Re:CreuSAT: Formally verified SAT solver written in Rust and... by fallingmeat on Friday June 17, 2022 @07:57PM (#31786004)
Another use case: verifying natural language requirements. As an example: http://slra1.baselines.cloud
[ Parent | on HN ]

There are no comments on this comment yet.