/hazelnut-dynamics-agda

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

Primary LanguageAgdaMIT LicenseMIT

Issues