Wadoud Bousdira

Latest

• Formalization of a Big Graph API in Coq