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 TydiForm project (2020-Present). Air Force Office of Scientific Research, award number FA9550-21-1-0024.