94 citations · 95 across the 4 of their papers we have counts for
1 paper · 2 filters
Dimitrios J. Economou, Neel Krishnaswami, Jana Dunfield
We present a logically principled foundation for systematizing, in a way that works with any computational effect and evaluation order, SMT constraint generation seen in refinement…