MetaRocq / rocq-verified-extractionLinks

Verified Extraction from Rocq to OCaml/Malfunction
13Updated last week

Alternatives and similar repositories for rocq-verified-extraction

Users that are interested in rocq-verified-extraction are comparing it to the libraries listed below

Sorting: