Bas Spitters (Nov 17 2020 at 15:21): Bas Spitters (Nov 17 2020 at 15:21):Generating correct parallel ocaml programs from Coq. Maintenance seems to have stalled. Does anyone know more?
Are there superior solutions?
https://link.springer.com/article/10.1007/s10766-016-0415-8
https://www.univ-orleans.fr/lifo/traclifo/BSML/
https://github.com/SyDPaCC/sydpacc
Last updated: Jun 03 2023 at 15:31 UTC