Foundations

09/20/2020

∙

by   Jeremy Avigad, et al.

∙

0

∙

share

This is a draft of a chapter on mathematical logic and foundations for an upcoming handbook of computational proof assistants.