Davy on Mythryl: “formal - a property checker for code, backed by Lean 4 and Mathlib…”

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

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

24/9/26, 2:51 pm0 reposts1 like

Post