formal - a property checker for code, backed by Lean 4 and Mathlib. Your agent writes the properties and the proofs; formal checks them.

github.com/yamafaktory/...

#lean #mathlib #rust #dev #llm #code