2 ms·Show HN: Formal – LLM-driven property checker backed by Lean 4 and Mathlib1 points by yamafaktory 6mo agostratoatlas 6mo ago[dead]