yamafaktory/formal
View on GitHub ↗ ★ 25 Rust
A Lean 4 + Mathlib proof service for the agent working on your code
4 mentions on Hacker News by 2 people: 3 stories, 1 comment · first 2026-04-12 · latest 2026-04-16
20082026
-
I was initially very excited about this, but looking at the code: https://github.com/yamafaktory/formal/blob/4f95787ceeabb0f09... To extract properties to verify... you call Claude??
comment by sjdv1982 · 2026-04-12 · in Show HN: Formal – Formal verification for AI-generated code using Lean 4