Formalization of Szumification and its correctness
Primary LanguageAgda
This repository is not active