ProofHQ
창작 프로젝트 승인과 피드백을 관리하는 가장 쉽고 빠른 방법
“Every proof assistant” – Andrej Bauer
2020-05-01
“Every proof assistant” online lecture
2020-04-30
Ask HN: What is your opnion on Elon Musk’s Covid-19 related tweets
2020-04-30
Show HN: Publish API endpoints in seconds (PoC)
2020-04-29
Proving that C++'s grammar is undecidable
2020-04-28
Every Proof Assistant
2020-04-28
Threat Actors Repurpose Hupigon in Adult Dating Attacks Targeting US Univs
2020-04-28
C program proofs with Frama-C and its weakest-precondition plugin [pdf]
2020-04-26
Learning to Prove Theorems via Interacting with Proof Assistants
2020-04-26
Google will require proof of identity from all advertisers
2020-04-26
