Show HN: Formal – LLM-driven property checker backed by Lean 4 and Mathlib(github.com)1 points·by yamafaktory·3 เดือนที่ผ่านมา·0 commentsgithub.comShow HN: Formal – LLM-driven property checker backed by Lean 4 and Mathlibhttps://github.com/yamafaktory/formal1 commentsPost comment[+]stratoatlas·3 เดือนที่ผ่านมา