Show HN: Formal – LLM-driven property checker, backed by Lean 4 and Mathlibgithub.com/yamafaktory1 pointyamafaktory2 months ago