Yacine El Haddad
Original record- Institution
- Université Paris-Saclay
- Year
- 2021
- Country
- France
- MGP identifier
- 344684
Dissertation: Integrating Automated Theorem Provers in Proof Assistants
Mathematics Subject Classification: 68—Computer science
Advisors 2
- Guillaume BurelInstitution not recorded
- Frédéric BlanquiUniversité Paris-Sud XI - Orsay · 2001
Students 0
No students recorded in this snapshot.