Technology
Formal verification
Mathematical checking that a solution meets a formally stated task and its pre- and postconditions: the task is written in a language such as Lean or Coq, and a verifier program checks the solution against it automatically.
11
mentions in the archive
0
central to an episode
2
episodes with a mention
2
fragments with a timecode
Oct 2026
first mention
Oct 2026
peak · 1 in a month
85
links to other entries
Author's trends
the author's thoughts whose episodes feature Formal verification · blue marks the months they meet
#187·28 Oct 2026substantial discussion✓ article
OpenAI Banned AI From Going Online. It Hacked Other People's Servers AnywayMentions over time
202420252026