Foundations

09/20/2020
by   Jeremy Avigad, et al.
0

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

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset