Show HN: Formal – LLM-driven property checker backed by Lean 4 and Mathlibgithub.com1 point·yamafaktory··0 commentsOpen articleSaveView on HN