diff --git a/GRANT-ACKNOWLEDGEMENTS.md b/GRANT-ACKNOWLEDGEMENTS.md index 616726cbdb..29277f5385 100644 --- a/GRANT-ACKNOWLEDGEMENTS.md +++ b/GRANT-ACKNOWLEDGEMENTS.md @@ -1,8 +1,14 @@ # Grant acknowledgements -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, then we can -also acknowledge any research grants you are working under on this page. +The agda-unimath maintainers and contributors are grateful for funding from the +following grants: -- The [TydiForm project](https://tydiform.fmf.uni-lj.si) (2020-Present). Air +- The MURI grant (2024-present). US Air Force Office of Scientific Research, + award number FA9550-21-1-0009. +- The [TydiForm project](https://tydiform.fmf.uni-lj.si) (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.