The agda-unimath maintainers and contributors are grateful for funding from the following grants:
- The MURI grant (2024-present). US Air Force Office of Scientific Research, award number FA9550-21-1-0009.
- The TydiForm project (2021-2024). US Air Force Office of Scientific Research, award number FA9550-21-1-0024.
If you are doing significant work for the agda-unimath library, such as work that leads to a preprint, or a conference or journal submission, please let us know so that we can acknowledge any funding and support you are receiving on this page.