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