/sml-redprl

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

Primary LanguageStandard MLMIT LicenseMIT

Stargazers

No one’s star this repository yet.