Skip to content

Latest commit

 

History

History
8 lines (7 loc) · 383 Bytes

ART.md

File metadata and controls

8 lines (7 loc) · 383 Bytes

Agda-unimath art

The graph of mathematical concepts. Andrej Bauer and Matej Petković. 2023 The graph of mathematical concepts. Andrej Bauer and Matej Petković. 2023