Turning the Coq Proof Assistant into a Pocket Calculator
Authors
- Guillaume Melquiond (ORCID: https://orcid.org/0000-0002-6697-1809)
Institutions
- Université Paris-Saclay (FR)
Publication Details
- Journal
- SPIRE - Sciences Po Institutional REpository
- Published
- 2024-09-14
- Primary Topic
- Mathematics, Computing, and Information Processing
- Type
- article
- Field-Weighted Citation Impact
- 0.00
Funders
- European Commission