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