The latest version of lazysmallcheck is 0.6-0.
lib:lazysmallcheck
Modules
Dependencies
Reverse dependencies
Direct only. Not exhaustive.
- Hoed exe:hoed-examples-Digraph_not_data_invariant__with_properties
- Hoed exe:hoed-tests-Prop-t2
- acme-everything lib:acme-everything
- minesweeper exe:minesweeper
- peano-inf lib:peano-inf
- rivers lib:rivers
- smartcheck lib:smartcheck