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