Assia Mahboubi profile picture

Assia Mahboubi

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs
Interactive Theorem Proving 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings
Proof Assistants and Their Applications in Mathematics and Computer Science
Interactive Theorem Proving