ProofHQ
창작 프로젝트 승인과 피드백을 관리하는 가장 쉽고 빠른 방법
Mechanized Proofs for Programming Languages: Past, Present, and Future
2020-01-29
Germany has proof that Huawei worked with Chinese intelligence: Handelsblatt
2020-01-29
Huawei denies German report it colluded with Chinese intelligence
2020-01-29
Librem 5 phone hands-on–Open source phone shows the cost of being different
2020-01-26
Opinion: Proof-of-Work Will Always Be Criticized for Inefficiency
2020-01-26
Puncture-proof tires are the future
2020-01-25
Librem 5 phone hands-on–Open source phone shows the cost of being different
2020-01-24
Bitcoin's Proof-of-Work / Waste 10-Minute Mining Lottery
2020-01-23
Ask HN: Best way to explain/proof human caused climate change to someone?
2020-01-23
Proof Assistants at the Hardware-Software Interface
2020-01-21
