Show HN: Formal – LLM-driven property checker, backed by Lean 4 and Mathlib (github.com) 1 points by yamafaktory 3mo ago ↗ HN
0 comments
[ 3.0 ms ] story [ 9.9 ms ] threadNo comments yet.