Statistics
Publications
1
Citations
24
H-Index
1
Active since
2001
Ahmed Amerkad is an author specializing in proof theory, proof writing, and manipulation.
Publications per year
2001–2001
1
1
Mathematics and Proof Presentation in Pcoq
Ahmed Amerkad, Yves Bertot, Loïc Pottier et al. · OpenGrey (Institut de l'Information Scientifique et Technique) · 2001 · 24 citations · Full text
1–1 of 1