evee v0.5

What's Changed

• Protege 5.6.4 by @maphih in #45
• new workflows and dependency management by @maphih in #47
• Release action by @maphih in #48

Full Changelog: v0.4...v0.5

evee v0.4

What's Changed

• #40: proofs can now be generated using NEMO.

Full Changelog: v0.3...v0.4https://docs.github.com/github/writing-on-github/getting-started-with-writing-and-formatting-on-github/basic-writing-and-formatting-syntax