🛠️ Halmos.Science - Hacker News for math, the server checks the proofs

Summary
Halmos.Science is a Hacker News style platform for mathematics where the server checks the proofs.

Why it’s interesting
It applies automated proof checking to a community discussion platform for mathematics.

Target user
Mathematicians

Source metrics: Points 3 · Comments 0
HN discussion · Project
Source: Hacker News / Show HN