<p>Computer-checked proofs can ensure properties of software.  Discussion of several aspects of this idea.</p>

Computer-checked proofs can ensure properties of software. Discussion of several aspects of this idea.

<p>Computer-checked proofs can ensure properties of software.&nbsp; Discussion of several aspects of this idea.</p>

Computer-checked proofs about software

Aaron Stump talks about type theory, computational logic, and related topics in Computer Science on his short commute.

Share Computer-checked proofs about software