3 ms·
Ironically, some (all?) of the same developers appear to be creating a Python DSL based on the work done on the Coq DSL. https://github.com/ChezJrk/SYS_ATL htt
by hedgewitch 5y ago
Ironically, some (all?) of the same developers appear to be creating a Python DSL based on the work done on the Coq DSL.
https://github.com/ChezJrk/SYS_ATL https://github.com/ChezJrk/SYS_ATL
- balsam 5y agoAh it seems that the repos mentioned in this threads are all related after all— The coq repo is covered by the paper but is a verified version of only the scheduler (a part of the parent python repo, i presume) Then the repo you linked to seems to be a rewrite/generalization of another(?) lower level part of the main ATL.