Source-Level Proof Reconstruction for Interactive Theorem Proving

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