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