ProofHQ
창작 프로젝트 승인과 피드백을 관리하는 가장 쉽고 빠른 방법
There’s more to mathematics than rigour and proofs (2007)
2022-04-19
Decentralized Speed: Advances in Zero Knowledge Proofs
2022-04-18
One-line Proof that 22/7 exceeds π
2022-04-18
Two dozen proofs until BB(5,2) is resolved
2022-04-18
Archaeologists were stunned at apparent proof for Jesus' resurrection
2022-04-17
How Do I get my Co-Founder to Leave?
2022-04-17
Show HN: Dynamic Debug Logging
2022-04-16
Ethereum’s Move to Proof of Stake
2022-04-16
Zkverse – Introduction to zero knowledge proof
2022-04-14
How Did Software Get So Reliable Without Proof? (1996) [pdf]
2022-04-14
