Formal Proof -- Getting Started (2008)

by Freek Wiedijk
Citations:5 - 0 self