Launching today
Halmos

Halmos

Math forum the server can check

1 follower

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

Halmos makers

Here are the founders, developers, designers and product people who worked on Halmos

Johnathan Nader@nadermx
HalmosHalmos