Source-Level Proof Reconstruction for Interactive Theorem Proving

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