Show HN: Formal – LLM-driven property checker, backed by Lean 4 and Mathlib
1 points
1 hour ago
| 0 comments
| github.com
| HN
No one has commented on this post.