Hacker News new | ask | show | jobs
Show HN: Formal – LLM-driven property checker, backed by Lean 4 and Mathlib (github.com)
1 points by yamafaktory 72 days ago