Get the latest tech news
Test, don't just verify
AI is making formal verification go mainstream. AI-assisted mechnical proving companies are raising funds on billion dollar valuations, new people are trying proof assistants, overwhelmingly Lean, at unprecedented rates.
None
Or read this on Hacker News
