Mohamed Yacine El Haddad

According to our database¹, Mohamed Yacine El Haddad authored at least 2 papers between 2019 and 2021.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2021

Integrating Automated Theorem Provers in Proof Assistants. (Utiliser des démonstrateurs automatiques dans un assistant à la preuve).

[BibT_eX]

[DOI]

PhD thesis, 2021

2019

EKSTRAKTO A tool to reconstruct Dedukti proofs from TSTP files (extended abstract).

[BibT_eX]

[DOI]

Proceedings of the Proceedings Sixth Workshop on Proof eXchange for Theorem Proving, 2019