No, but you can transpile (incredibly trivial) Rust programs into Coq that can b... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		Jerrrrrrry on Aug 25, 2024 \| parent \| context \| favorite \| on: Windows 0-day was exploited by North Korea to inst... No, but you can transpile (incredibly trivial) Rust programs into Coq that can be than formally verified to give a defined output for all possible inputs.

papichulo2023 on Aug 25, 2024 [–]

No idea what this is about but sounds like a test with extra steps

Jerrrrrrry on Aug 25, 2024 | [–]

Test all the steps. All possible steps.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact