Flexiformal Math Libraries - Collecting and Organizing Beyond Definitions, Theorems, and Proofs

Explore the concept of flexiformal math libraries in this 51-minute lecture by Michael Kohlhase from the Hausdorff Center for Mathematics. Delve into the process of collecting and organizing mathematical knowledge beyond traditional definitions, theorems, and proofs. Gain insights into innovative approaches for structuring and presenting mathematical information in a more flexible and comprehensive manner.