Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
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.
