@InProceedings{SBB25,
    Author       = "Sutcliffe, G. and Blanqui, F. and Burel, G.",
    Year         = "2025",
    Title        = "{Proof Verification with GDV and LambdaPi - It's a Matter of Trust}",
    Editor       = "Biskri, I. and Talbert, D.",
    BookTitle    = "{Proceedings of the 38th International FLAIRS Conference}",
    Place        = "Daytona Beach, USA",
    DOI          = "{10.32473/flairs.38.1.138642}",
    Comment      = ""
}