Ah 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 sche

Ah 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.