Show HN: Formal – LLM-driven property checker, backed by Lean 4 and Mathlib(github.com)1 points by yamafaktory 38 days ago | 0 commentsNo comments yet