tla-plus/ResolvedTS
2022-04-21 18:37:21 +08:00
..
MC.cfg Add ResolvedTS spec (#27) 2022-04-21 18:37:21 +08:00
MC.tla Add ResolvedTS spec (#27) 2022-04-21 18:37:21 +08:00
ResolvedTS.tla Add ResolvedTS spec (#27) 2022-04-21 18:37:21 +08:00