Skip to content
GitLab
Explore
Sign in
i7
Isabelle
Hanoi_Omega_Automata_Format
Milestones
Open
2
Closed
0
All
2
Due soon
Definition of HOA structure
Nov 2, 2017–Nov 23, 2017
Expired
i7 / Isabelle / Hanoi_Omega_Automata_Format
3 Issues
·
0 Merge requests
100% complete
Conversion of different omega automata definitions to HOA
started on Nov 23, 2017
Open
i7 / Isabelle / Hanoi_Omega_Automata_Format
2 Issues
·
0 Merge requests
0% complete