Proof Verification with GDV and LambdaPi - It's a Matter of Trust.

Geoff Sutcliffe, Frdric Blanqui, Guillaume Burel

Browse the full FlAIRS paper archive.