Show HN: Formal – LLM-driven property checker backed by Lean 4 and Mathlib (github.com) 1 points by yamafaktory 3mo ago ↗ HN
1 comment
[ 3.3 ms ] story [ 11.1 ms ] thread