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

start developing next-gen dependent lcf lib #16

Closed jonsterling closed 8 years ago

jonsterling commented 8 years ago

To address #15 and #14