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.