formal

by Davy Duperron · Independent

A Lean 4 + Mathlib proof service for the agent working on your code

Built with

Rustagentsai

claudeformal-verificationlean4

Comments · 0

No comments yet. Tried it? Tell Davy what worked, what didn't, or what you'd want next.

See what other members are building and what each project is looking for.