Questions
Linux
Laravel
Mysql
Ubuntu
Git
Menu
HTML
CSS
JAVASCRIPT
SQL
PYTHON
PHP
BOOTSTRAP
JAVA
JQUERY
R
React
Kotlin
×
Linux
Laravel
Mysql
Ubuntu
Git
New posts in coq-extraction
Generating Haskell code from COQ: Logical or arity value used
Dec 13, 2020
haskell
coq
coq-extraction
How to set the module name when extracting Coq to Haskell
Mar 12, 2019
haskell
coq
coq-extraction
Proofs' role in Coq extractions
Mar 07, 2022
haskell
coq
coq-extraction
Can you automatically add Haskell import statements when extracting from Coq?
Mar 25, 2022
haskell
coq
coq-extraction
Is it possible to write C programs using Coq?
Mar 13, 2022
coq
coq-extraction
Menu