Show HN: Formal – LLM-driven property checker backed by Lean 4 and Mathlib(github.com)1 ポイント·投稿者 yamafaktory·3 か月前·0 コメントgithub.comShow HN: Formal – LLM-driven property checker backed by Lean 4 and Mathlibhttps://github.com/yamafaktory/formal1 コメントコメントを投稿[+]stratoatlas·3 か月前