GitHub repository: JonPRL/sml-dependent-lcf
Primary language: Standard ML
Description: A library for the next generation of LCF refiners, with support for dependent & nominal refinement—Long Live the Anti-Realist Struggle!