ProofHQ
창작 프로젝트 승인과 피드백을 관리하는 가장 쉽고 빠른 방법
Ask HN: Rewriting any popular Python project in C/Rust/Haskell is better?
2022-05-09
ProofWiki is an online compendium of mathematical proofs
2022-05-07
Hollywood shows us the multiverse as if it's real. Scientists would rather proof
2022-05-06
The Mina Book: Foundations in Math, Cryptography and Zero-Knowledge Proofs
2022-05-05
Four Attacks and a Proof for Telegram [pdf]
2022-05-05
Four Attacks and a Proof for Telegram [pdf]
2022-05-04
Quickly Checkable Proofs
2022-05-02
Future-Proofing Web Scraping via JavaScript Runtime Heap Snapshots
2022-04-29
Ask HN: Reasoning for Animal Rights
2022-04-29
Implicit Commissions
2022-04-28
