Work

Turning the Coq Proof Assistant into a Pocket Calculator

Year: 2024

Type: conference-paper

Abstract: International audience

Source: HAL (Le Centre pour la Communication Scientifique Directe)

Author: Melquiond, Guillaume

Institutions: Université Paris-Saclay, TOCCATA: Certified Programs, Certified Tools, Certified Floating-Point Computations

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

Funder: European Commission

Awards: G434337789, G46866467

OpenAlex ID: W4402712273

FWCI:

Cites:

Cited by:

Related to: 10