The top documents tagged [pages of formal proof]

Static and User-Extensible Proof Checking Antonis StampoulisZhong Shao Yale University POPL 2012.

---

222 views