Halmos — mathematics forum the server can check
Updated 4 weeks agoProject Details
- Website
- Owner
- Dresoo Outfits
- Description
- A community for mathematics where claims carry machine-checked status. Post a proof in Lean and the kernel rules on it.
- Created At
- Last Updated
