Skip to content

Latest commit

 

History

History
13 lines (11 loc) · 381 Bytes

CITE-THIS-LIBRARY.md

File metadata and controls

13 lines (11 loc) · 381 Bytes

Citing the agda-unimath library

If you wish to reference our library in your work, please use the following BibTeX entry:

@software{agda-unimath,
author = {Rijke, Egbert and Stenholm, Elisabeth and Prieto-Cubides, Jonathan and Bakke, Fredrik and {others}},
license = {MIT},
title = {{The agda-unimath library}},
url = {https://github.com/UniMath/agda-unimath/}
}