The book Reflections on the Foundations of Mathematics. Univalent Foundations, Set Theory and General Thoughts has been published.

In particular you will find a chapter by @Lawrence Paulson entitled Formalising Mathematics in Simple Type Theory that may be of interest to the users of this chat.

Last updated: Jan 25 2022 at 01:11 UTC