1 person lists Formal verification / SMT solvers as their tools. Newest evidence: zek, Aug 25, 2026.
The harness these people run with Formal verification / SMT solvers.
Can’t find someone? Request them, ask them on X, or add your own setup.
