Halmos - Math forum the server can check

by•8h ago

A community for mathematics where claims carry machine-checked status. Post a proof in Lean and the kernel rules on it.