The top documents tagged [extensible proof checker]

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

---

222 views