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
No comment yet
Show HN: Formal – LLM-driven property checker, backed by Lean 4 and Mathlib | Heykuki News