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
-
▲ 1
Show HN: Formal – LLM-driven property checker backed by Lean 4 and Mathlibstory by yamafaktory · 2026-04-16 · 0 comments
-
▲ 1
Show HN: Formal – LLM-driven property checker, backed by Lean 4 and Mathlibstory by yamafaktory · 2026-04-13 · 0 comments
-
▲ 4
Show HN: Formal – Formal verification for AI-generated code using Lean 4story by yamafaktory · 2026-04-12 · 4 comments