DMCA

Source-Level Proof Reconstruction for Interactive Theorem Proving

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