/regularity-lemma

Code accompanying submission to ITP 2022

Primary LanguageLean

Watchers