fixed negation of a disjunction - Githubissues

Parquery / gocontracts

A tool for design-by-contract in Go

MIT License

111 stars 7 forks source link

fixed negation of a disjunction #40

Closed mristin closed 5 years ago