GitHub / jmid / lcheck

A library for quickchecking lattice modules and associated operations

JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jmid%2Flcheck
PURL: pkg:github/jmid/lcheck

Stars: 5
Forks: 3
Open issues: 0

License: None
Language: OCaml
Size: 164 KB
Dependencies parsed at: Pending

Created at: almost 11 years ago
Updated at: 8 months ago
Pushed at: almost 4 years ago
Last synced at: 4 months ago

Topics: embedded-dsls, lattice, monotonicity, ocaml, property-based-testing, quickcheck

Loading...