Skip to content

ART.md

Latest commit

 

History

History
20 lines (17 loc) · 882 Bytes

ART.md

File metadata and controls

20 lines (17 loc) · 882 Bytes

Agda-unimath art

A dependency graph of the library, color coded by namespace. Fredrik Bakke. 2025 — perpetuity
{{#include website/images/agda_dependency_graph_legend.html}} A dependency graph of the library, color coded by namespace. 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