Formalization results relevant to papers in Journal of Logic and Analysis
Primary LanguageLean
No one’s watching this repository yet.