Proof Verification with GDV and LambdaPi It’s a Matter of Trust

Conference proceeding

Peer reviewed

Geoff Sutcliffe, Frédéric Blanqui and Guillaume Burel

38th International Florida Artificial Intelligence Research Society Conference, FLAIRS 2025, Vol.38(1)

2025-05-14

Files and links (1)

url

https://doi.org/10.32473/flairs.38.1.138642View

Published (Version of record) Open

1 Record Views

Title: Proof Verification with GDV and LambdaPi It’s a Matter of Trust
Creators: Geoff Sutcliffe - University of Miami, Miami, United States
Frédéric Blanqui - Laboratoire Méthodes Formelles
Guillaume Burel - École Nationale Supérieure d’Informatique pour l’Industrie et l’Entreprise
Publication Details: 38th International Florida Artificial Intelligence Research Society Conference, FLAIRS 2025, Vol.38(1)
Academic Unit: College of A&S; A&S - Computer Science
Language: English
Resource Type: Conference proceeding
Record Identifier: 991032796155602976