Show HN: Formal – LLM-driven property checker, backed by Lean 4 and Mathlib

(github.com) by yamafaktory | Apr 13, 2026 | 0 comments on HN