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