property-refinement topic

List property-refinement repositories
trafficstars

fitspec

74
Stars
0
Forks
Watchers

refine properties for testing Haskell programs

verified publisher icon rudymatela