## Source-Level Proof Reconstruction for Interactive Theorem Proving

### Cached

### Download Links

by
Lawrence C. Paulson
,
Kong Woei Susanto

Citations: | 16 - 2 self |