Post

Davy@davy.quest

I'm also convinced this is the future of software engineering. I've built github.com/yamafaktory/..., a Lean 4 proof service that lets coding agents verify properties of the code they write. I think this kind of feedback loop will become a standard part of agentic development.

github.comGitHub - yamafaktory/formal: A Lean 4 + Mathlib proof service for the agent working on your codeA Lean 4 + Mathlib proof service for the agent working on your code - yamafaktory/formal