issues
search
RedPRL
/
sml-dependent-lcf
A library for the next generation of LCF refiners, with support for dependent refinement—Long Live the Anti-Realist Struggle!
16
stars
1
forks
source link
Remove parameters
#36
Closed
jonsterling
closed
7 years ago