Foundations
arXiv:2009.09541
Abstract
This is a draft of a chapter on mathematical logic and foundations for an upcoming handbook of computational proof assistants.
For the forthcoming Handbook of Proof Assistants and Their Applications in Mathematics and Computer Science, edited by Jasmin Blanchette and Assia Mahboubi