Video not available

Send us an email to hello@eventil.com

Translating between Agda and Dedukti

0 0

TBA

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...