Formalizing the Ring of Witt Vectors

Published in Certified Programs and Proofs, 2021

Recommended citation: Your Name, You. (2009). "Paper Title Number 1." Journal 1. 1(1). http://robertylewis.com/files/witt-vectors.pdf