Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1

2 points | by matt_d a day ago