mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics
Primary LanguageAgdaMIT LicenseMIT