ProofHQ
창작 프로젝트 승인과 피드백을 관리하는 가장 쉽고 빠른 방법
Mathematical Proof Describes How to Solve Seemingly Impossible Computing Problem
2020-01-18
Titans of Mathematics Clash over Epic Proof of ABC Conjecture (2018)
2020-01-18
Easy Ways to Stick to Your 2020 Fitness Resolution
2020-01-17
Using Z: Specification, Refinement, and Proof [pdf]
2020-01-17
A proof of the constancy of the velocity of light (1913)
2020-01-17
Proof-of-concept exploits published for the Microsoft-NSA crypto bug
2020-01-16
A Cambrian Explosion of Crypto Proofs
2020-01-15
Mathematicians divided over hiring practices requiring promotion of diversity
2020-01-15
Show HN: Get a Merkle-Proof from Ethereum
2020-01-15
Show HN: Whize (Alpha) – Discovery focused search engine
2020-01-14
