Skip to content

Latest commit

 

History

History
15 lines (13 loc) · 771 Bytes

ART.md

File metadata and controls

15 lines (13 loc) · 771 Bytes

Agda-unimath art

A dependency graph of the library, color coded by field. Fredrik Bakke. 2025 - perpetuity A dependency graph of the library, color coded by field. Fredrik Bakke. 2025 - perpetuity
The graph of mathematical concepts. Andrej Bauer and Matej Petković. 2023 The graph of mathematical concepts. Andrej Bauer and Matej Petković. 2023