Source-Level Proof Reconstruction for Interactive Theorem Proving
by
Lawrence C. Paulson
,
Kong Woei Susanto
| Citations: | 10 - 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 |
