A library for the next generation of LCF refiners, with support for dependent refinement—Long Live the Anti-Realist Struggle! - View it on GitHub