List Question
10 TechQA 2024-12-27 01:26:59Generating Haskell code from COQ: Logical or arity value used
269 views
Asked by wtf8_decode
How to set the module name when extracting Coq to Haskell
140 views
Asked by yairchu
Coq: Strong specification of haskell's Replicate function
225 views
Asked by Cris Teller
Coq proof usage
287 views
Asked by ARevX
Coq XML Protocol: a likely PrintAST malfunction
171 views
Asked by Jian Wang
How to prove list concatenation is not commutative using coq?
239 views
Asked by Serene M
Error message: Not the right number of missing arguments (expected 1)
154 views
Asked by Serene M
The extraction of coq type nat into which type of ocaml so that I can have a certified program
470 views
Asked by Quyen
OCaml string and Coq string (Extraction from Coq to OCaml)
725 views
Asked by Quyen
string_dec and string in Ocaml library
523 views
Asked by Quyen