Universality of proofs

Point of contact Chantal Keller, LMF, Chantal.Keller@lri.fr Summary Many paradigms and proof systems have been developed to mechanizelogical reasoning: interactive and automatic theorem provers, proofcheckers, programming languages with strong guaranties,…