OCaml
extraction
Topic
Replies
Views
Activity
Calling extractable side-effect ocaml functions in Coq
Ecosystem
coq
,
extraction
1
361
December 30, 2023