coq-of-ocaml
Compile a subset of OCaml to Coq
Description
Install
copied = false, 2000)"
:class="{ 'border-gray-700': !copied, 'text-gray-100': !copied, 'focus:ring-orange-500': !copied, 'focus:border-orange-500': !copied, 'border-green-600': copied, 'text-green-600': copied, 'focus:ring-green-500': copied, 'focus:border-green-500': copied }">
- Published
- 26 Jan 2022
- Authors
- Maintainers
Sources
coq-of-ocaml-full.2.5.2+4.13.tar.gz
sha256=9dfde155240061a70b803715609246d360605d887035070b160190e21f672dbd
sha512=259a034fdff6cc0ca4af935eb07ec4dac7916a199452bec2bccbf5b6e26f6dfbcbd33ba53dfe63d0fc64a9c04763129e76ff6d04ebd53bb24e378b96457651ec
Dependencies
Reverse Dependencies
Conflicts
coq
< "8.11"