Jared Davis
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Fix your types | 2024-08-21 | Paper |
| Verified AIG algorithms in ACL2 | 2024-08-13 | Paper |
| The reflective Milawa theorem prover is sound (down to the machine code that runs it) Journal of Automated Reasoning | 2016-05-26 | Paper |
| The reflective Milawa theorem prover is sound (down to the machine code that runs it) Interactive Theorem Proving | 2014-09-08 | Paper |
| A verified runtime for a verified theorem prover Interactive Theorem Proving | 2011-08-17 | Paper |
Research outcomes over time
This page was built for person: Jared Davis
