GitHub repository: mortberg/sml-redprl
Primary language: Standard ML
Description: Decisively Smash the Formalist Clique!—The People's Refinement Logic