Prerequisites #336

Open
mikeshulman opened this Issue Jun 28, 2013 · 1 comment

2 participants

@mikeshulman

I've had two questions so far about the prerequisites / expected background to read the book. Do we address this anywhere in the book?

@rpglover64

I think the closest the book comes is in the introduction:

The present book is intended as a first systematic exposition of the basics of univalent foundations, and a collection of examples of this new style of reasoning� but without requiring the reader to know or learn any formal logic, or to use any computer proof assistant.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment