Mostly Automated Proof Repair for Verified Libraries [pdf]
2023-06-21
Book of Proof (2018)
2023-06-17
Proof of Work Captchas
2023-06-17
Basics of Proofs [pdf]
2023-06-16
Flow Proof Helps Mathematicians Find Stability in Chaos
2023-06-16
AMD openSIL open source firmware proof of concept
2023-06-14
Fail-proof trick to get your brain into flow state, according to psychologists
2023-06-13
Ask HN: What do you think of actors spreading malicious packages with ChatGPT?
2023-06-11
Text for Proofing Fonts
2023-06-09
Proof in Functions
2023-06-09