×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [features of coq slide]
Home >
features of coq slide
Coq and Nuprl Wojciech Moczydłowski History World, type system Inductive types in Coq Extraction in Coq Other features of Coq.
238 views