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
delete nominal lcf library (will be incorporated into redprl) #32
Closed
jonsterling closed 7 years ago
(I will self-merge when ready)