/sml-redprl

Decisively Smash the Formalist Clique!—The People's Refinement Logic

Primary LanguageStandard MLMIT LicenseMIT

No issues in this repository yet.