Proofy
Quickly validate and verify your email lists.
Proving the Equivalence of Two Functions
2023-09-12
Ask HN: Quality difference between accessing sensors via a browser vs. natively?
2023-09-12
Ask HN: What is the best way to learn proof based math without a teacher?
2023-09-12
Papers with computer-checked proofs [pdf]
2023-09-11
More proof that pop songs are getting slower and sadder (2019)
2023-09-11
A magician's guide to zero-knowledge proofs
2023-09-09
Papers with computer-checked proofs [pdf]
2023-09-08
Tell HN: Modular electronics systems are too limited, I think we can do better
2023-09-08
E.R.A. non-passage: Proof climate change legislation is doomed
2023-09-07
Undecidability results that are not known to have a diagonal argument proof
2023-09-07
