2 packages found
Refinement (liquid) types for Shplait, checked at compile time with Z3
Z3 bindings for Racket
This package needs documentation
This package needs license metadata