Work

The Burden of Proof: Automated Tooling for Rapid Iteration on Large Mechanised Proofs

Year: 2025

Type: conference-paper

Source: IEEE/ACM International Conference on Formal Methods in Software Engineering (FormaliSE)

DOI: 10.1109/formalise66629.2025.00010

Authors: Chengsong Tan, Alastair F. Donaldson, Jonathan Julián Huerta y Munive, John Wickerson

Institutions: Imperial College London, Czech Technical University in Prague

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4411233817

FWCI: 2.965

Cites: 26

Cited by: 3

Related to: 10