Formalization results relevant to papers in Journal of Logic and Analysis
Primary LanguageLean
No issues in this repository yet.