1![Tobias Nipkow Markus Wenzel Lawrence C. Paulson lle Tobias Nipkow Markus Wenzel Lawrence C. Paulson lle](https://www.pdfsearch.io/img/7923ce86431dc0dd051c717a84563141.jpg) | Add to Reading ListSource URL: www.cl.cam.ac.ukLanguage: English - Date: 2018-08-15 07:19:42
|
---|
2![Tobias Nipkow Markus Wenzel Lawrence C. Paulson lle Tobias Nipkow Markus Wenzel Lawrence C. Paulson lle](https://www.pdfsearch.io/img/b01e1bcd51d72f4938e83be5c2b504f4.jpg) | Add to Reading ListSource URL: isabelle.in.tum.deLanguage: English - Date: 2018-08-15 07:19:42
|
---|
3![Tobias Nipkow Markus Wenzel Lawrence C. Paulson lle Tobias Nipkow Markus Wenzel Lawrence C. Paulson lle](https://www.pdfsearch.io/img/a553816e73d71bc72d3557b7405c9a6d.jpg) | Add to Reading ListSource URL: mirror.clarkson.eduLanguage: English - Date: 2018-08-15 07:19:42
|
---|
4![A Formal Proof of Cauchy’s Residue Theorem Wenda Li and Lawrence C. Paulson University of Cambridge {wl302,lp15}@cam.ac.uk August 22, 2016 A Formal Proof of Cauchy’s Residue Theorem Wenda Li and Lawrence C. Paulson University of Cambridge {wl302,lp15}@cam.ac.uk August 22, 2016](https://www.pdfsearch.io/img/54686d0a1bd87823d02a935292a5af66.jpg) | Add to Reading ListSource URL: itp2016.inria.frLanguage: English - Date: 2016-08-30 03:42:16
|
---|
5![Tobias Nipkow Markus Wenzel Lawrence C. Paulson lle Tobias Nipkow Markus Wenzel Lawrence C. Paulson lle](https://www.pdfsearch.io/img/ffdfbb81811405368d80962f9814f9e1.jpg) | Add to Reading ListSource URL: isabelle.in.tum.de- Date: 2013-12-05 10:28:31
|
---|
6![LCF + Logical Frameworks = Isabelle (25 Years Later) Lawrence C. Paulson, Computer Laboratory, University of Cambridge 16 April 2012 — Milner Symposium, Edinburgh
1979 LCF + Logical Frameworks = Isabelle (25 Years Later) Lawrence C. Paulson, Computer Laboratory, University of Cambridge 16 April 2012 — Milner Symposium, Edinburgh
1979](https://www.pdfsearch.io/img/cd1d2fd9fef6d3b1311ea333c2cbb670.jpg) | Add to Reading ListSource URL: events.inf.ed.ac.uk- Date: 2012-10-10 03:52:06
|
---|
7![Noname manuscript No. (will be inserted by the editor) Extending Sledgehammer with SMT Solvers Jasmin Christian Blanchette · Sascha Böhme · Lawrence C. Paulson Noname manuscript No. (will be inserted by the editor) Extending Sledgehammer with SMT Solvers Jasmin Christian Blanchette · Sascha Böhme · Lawrence C. Paulson](https://www.pdfsearch.io/img/08115893e80a637becbabae8e5d3c0e6.jpg) | Add to Reading ListSource URL: people.mpi-inf.mpg.deLanguage: English - Date: 2015-01-25 16:18:54
|
---|
8![Andrew Busch Andy Busch is an expert political economist focused on future growth. He was an outside economic advisor to the Bush (43) White House and to the McCain Campaign. He has met and advised US Treasury Secretarie Andrew Busch Andy Busch is an expert political economist focused on future growth. He was an outside economic advisor to the Bush (43) White House and to the McCain Campaign. He has met and advised US Treasury Secretarie](https://www.pdfsearch.io/img/27f5cbfd7920c4f2bcf1503a92562fac.jpg) | Add to Reading ListSource URL: www.arda.orgLanguage: English - Date: 2016-08-04 10:37:28
|
---|
9![CGLG LOGO Vector (Blue and Gold) CGLG LOGO Vector (Blue and Gold)](https://www.pdfsearch.io/img/e2a6c58301c03e7f13c5f1400fcb7733.jpg) | Add to Reading ListSource URL: www.cglslgp.orgLanguage: English - Date: 2016-06-21 15:04:55
|
---|
10![Hammering towards QED Jasmin C. Blanchette Inria Nancy & LORIA, France Cezary Kaliszyk University of Innsbruck, Austria Lawrence C. Paulson Hammering towards QED Jasmin C. Blanchette Inria Nancy & LORIA, France Cezary Kaliszyk University of Innsbruck, Austria Lawrence C. Paulson](https://www.pdfsearch.io/img/0d0c99a5377e218e9122fee2e368b86e.jpg) | Add to Reading ListSource URL: people.mpi-inf.mpg.deLanguage: English - Date: 2015-07-01 13:38:31
|
---|