v0.4.0

haz released this 13 Dec 04:52

· 2 commits to master since this release

e29069c

What's Changed

Add Implication and Remove Nesting by @beckydvn in #27
Simplify tautologies by @haz in #29

New Contributors

@beckydvn made their first contribution in #27

Full Changelog: v0.3.0...v0.4.0

Contributors

haz and beckydvn

Assets 2