Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
The Way of Hermes: New Translations of the Corpus Hermeticum ...
Clement Salaman & Dorine van Oyen & William D. Wharton & Jean-Pierre Mahe
Revolutionizing the Sciences European Knowledge & Its Ambitions, ...
Peter Dear
Navigating Metabolism by Navdeep S. Chandel
Hiroshi Nakai
Why Nazism Was Socialism and Why Socialism Is Totalitarian
George Reisman