/regularity-lemma

Code accompanying submission to ITP 2022

Primary LanguageLean

This repository is not active