Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
Show HN: Formal – LLM-driven property checker backed by Lean 4 and Mathlib
github.com/yamafaktory
1 point
yamafaktory
2 months ago
Loading...
Show HN: Formal – LLM-driven property checker backed by Lean 4 and Mathlib | Heykuki News