product
Open-source Lean 4 formal proof engineering agent model. 2 claims on record, 2 currently valid, 0 superseded, plus 2 posts. Last change 2026-06-30.
No changes since 2026-05-08.