Skip to content
GitLab
Explore
Sign in
Admin message
29. April 2024
: Due to updates GitLab may be unavailable for some minutes between 10:00 and 12:00.
i7
Isabelle
Hanoi_Omega_Automata_Format
Issues
#3
Define data types close to the HOA format for easy serialization