bluesky — Scidonia — 27 Oct 2026
Formal verification is having a moment.
#formal-verification #mathematical-logic #proof-systems
Formal verification is having a moment.
This is something we strongly advocate (and provide as a service).
We've put a 6-part explainer series together explaining vericoding. Here's the first:
What is vericoding.
#vericoding #formalverification