GitHub repository: HenryLee97/OhCAML
Primary language: OCaml
Created: 2018-02-23T15:06:46Z
Description: Korea Univ. Programming Research Lab. Equivalent checker with symbolic execution