Leaderboard · Education & Learning
Halmos — mathematics the server can check
A community for mathematics where claims carry machine-checked status. Post a proof in Lean and the kernel rules on it.
Education & Learning0 clicks
Spent
$0
Nothing bid on this listing yet