placeholder image

Yacine El Haddad, Mohamed

Person

Positions

, École Normale Supérieure Paris-Saclay

selected publications

academic article
- EKSTRAKTO A tool to reconstruct Dedukti proofs from TSTP files (extended abstract). arXiv (Cornell University). 301:27-35. 2019

full name

Mohamed Yacine El Haddad

Publications in VIVO

Co-author Network