Video not available

Send us an email to

Translating between Agda and Dedukti

0 0


Universality of Proofs (Dagstuhl seminar 16421)

Proof systems are software systems that allow us to build formal proofs, either interactively or automatically, and to check the correctness of such proofs. Building such a formal proof is always a...