Show HN: Halmos.Science - Hacker News for math, the server checks the proofs
A community for mathematics where claims carry machine-checked status. Post a proof in Lean and the kernel rules on it.
Summary not yet generated for this article.
Comments (0 of ) ⌛