Report - Dedukti: A Universal Proof CheckerJa bK = app JaK JbK The Dedukti proof checker. Compilation to Lua Dedukti generates one time usage Lua type checkers. I Lua is a minimal programming

Please pass captcha verification before submit form