Gross, Jason http://orcid.org/0000-0002-9427-4891
Erbsen, Andres http://orcid.org/0000-0002-9854-7500
Philipoom, Jade
Agrawal, Rajashree http://orcid.org/0000-0001-7617-9180
Chlipala, Adam http://orcid.org/0000-0001-7085-9417
Funding for this research was provided by:
Massachusetts Institute of Technology
Article History
Received: 4 May 2023
Accepted: 10 June 2024
First Online: 14 August 2024
Declarations
:
: <i>Financial interests</i> None. <i>Non-financial interests</i> Jason Gross is a member of the Coq development team.
: Not applicable.
: Not applicable.
: Not applicable.