Agda, Coq, Isabelle, Lean, Theorem Proving, Interactive Verification
Test whether a large integer is a square
johndcook.com·2h
A Standard for Human-Centered Investigation Playbooks
chrissanders.org·1d
Testing in Production
blog.scottlogic.com·1d
Shane Kennedy - Software Engineer
shaneikennedy.xyz·2d
Loading...Loading more...