lenguyenthedat / bounded-checking-in-ocaml Goto Github PK
View Code? Open in Web Editor NEWAn OCAML’s Bounded Check library for testing OCAML programs efficiently and automatically. This implementation is a part of my MSc's final year project at the University of Oxford.