maciejpirog/grzb

A verifier for a simple imperative language powered by Z3

RacketMIT