mechanization for livelits paper, https://github.com/hazelgrove/livelits-paper
Primary LanguageAgdaMIT LicenseMIT