Fingerprint
Dive into the research topics of 'Extracting functional programs from Coq, in Coq'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Extracting functional programs from Coq, in Coq
Danil Annenkov, Mikkel Milo, Jakob Botsch Nielsen, Bas Spitters
Research output: Working paper/Preprint › Preprint
241
Downloads
(Pure)