Repo

veriphy

by George Douzas · Eunoia Engineering

Certified computer algebra for Lean 4, with agent skills that turn a physics or math statement into a machine-verified proof.

Built with

Python

Comments · 0

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

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