redex (racket): PLT Redex libraries for practical semantics engineering
Keywords: main-distribution|racket