swMATH45501MaRDI QIDQ5972734FDOQ5972734
Author name not available (Why is that?)
Official website: https://drops.dagstuhl.de/opus/volltexte/2022/16736/
Source code repository: https://github.com/CakeML/choreo/
Cited In (3)
This page was built for software: Kalas
