HLPeriodicOrbits_VIII_IX.jl is a Julia package to prove the existence of Bianchi type VIII and IX periodic orbits in Hořava-Lifshitz cosmologies as described in Theorem 4.1 of the paper Periodic orbits in Hořava-Lifshitz cosmologies.
Download this repository and execute the file run_proofs.jl located in the folder proofs.