Amokrane SAIBI
PhD Student
INRIA,
Rocquencourt,
projet Coq.
Research Interests:
Type theory
Formalization of mathematics in type theory: Constructive Algebra
Proof-checkers: Tools for Automation of Reasoning.
La théorie des catégories dans Coq V6.2
Documentation on Implicit Syntax in Coq V6.1
List of publications
Amokrane.Saibi@inria.fr