Skip to content
{
ken ashe
}
Building
Writing
About
Newsroom
Digest
Building
Writing
About
Newsroom
Digest
←
Digest
/
Tags
// tag
formal-methods
3 posts tagged
formal-methods
.
Claude, Fermat, and the real value of machine-checkable proofs
Sep 5, 2026
CausalForge makes AI research agents prove their work
Jul 27, 2026
Leanstral 1.5 points at proofs as a workflow, not a stunt
Jul 11, 2026