Add a module header to the logic module and a reference to one of the - Githubissues

advancedtelematic / quickcheck-state-machine

Test monadic programs using state machine based models

Other

203 stars 25 forks source link

Add a module header to the logic module and a reference to one of the #193

Closed stevana closed 6 years ago

stevana commented 6 years ago

strong negation papers.