Citing the agda-unimath library
Created on 2023-06-22.
Last modified on 2025-08-09.
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 \v{S}t\v{e}pan\v{c}\'{i}k, Vojt\v{e}ch and {others}},
license = {MIT},
title = {{The agda-unimath library}},
url = {https://github.com/UniMath/agda-unimath/}
}
Recent changes
- 2025-08-09. Vojtěch Štěpančík. Website/CI updates (#1469).
- 2024-10-15. Fredrik Bakke. Minor search engine optimizations (#1197).
- 2023-11-06. Egbert Rijke and Vojtěch Štěpančík. Name change for Elisabeth (#904).
- 2023-06-22. Egbert Rijke and Fredrik Bakke. Clarify conventions (#511).