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