Differential Geometry - Riemannian Geometry and Isometric Immersions (Book I-B) 2025 · ENGLISH · PDF View details →
Simple Type Theory - A Practical Logic for Expressing and Reasoning About Mathematical Ideas 2025 · ENGLISH · PDF View details →