What's Changed
- Bug fix: Now can create proofs with empty initial premises.
- up to date by @Girjoaba in #57
- Allow for proofs without premises by @TheEpicBlock in #59
- Update README.md by @Girjoaba in #60
Shout out to the first new contributor!
- @TheEpicBlock made their first contribution in #59
Full Changelog: v1.0.1...1.0.3
Contributors
TheEpicBlock and Girjoaba