Source-Level Proof Reconstruction for Interactive Theorem Proving

by Lawrence C. Paulson , Kong Woei Susanto
Citations:16 - 2 self