ligurio/practical-fm
View on GitHub ↗ ★ 617
A gently curated list of companies using verification formal methods in industry
4 mentions on Hacker News by 3 people: 2 stories, 2 comments · first 2018-02-14 · latest 2025-07-31
20082026
-
…some large companies use Rocq to verify critical software like in airplanes (there's a list at https://github.com/ligurio/practical-fm although it may not be accurate). Big projects in Lean include mathlib (collection of various…
comment by armchairhacker · 2025-07-31 · in The Math Is Haunted