Source-Level Proof Reconstruction for Interactive Theorem Proving

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

Document Versions

Source-Level Proof Reconstruction for Interactive Theorem Proving –Lawrence C. Paulson, Kong Woei Susanto
Source-Level Proof Reconstruction for Interactive Theorem Proving –Lawrence C. Paulson, Kong Woei Susanto