Mohamed Yacine EL HADDAD
I'm currently a PhD Student at LSV under the supervision of Frédéric Blanqui and Guillaume Burel.
I'm working on Integrating Automated Provers in Proof Assistants.
For more information about my thesis please follow this link.
- Ekstrakto : a TSTP to Dedukti translator
- Dedukti : a universal proof checker
- Lambdapi : an extension of Dedukti with metavariables and tactics
- Master Degree'16 in Software Engineering and Information Processing : Report (French only)