Eunomia
Pre-release
Pre-release
The first ever release! The product should be usable but it was decided to be labelled as BETA, as I am waiting for use acceptance tests.
What's Changed
- The first release was created
- Text-Editor with automatically generated Fitch Proof Bars for good usability
- Error Panel where all the errors are displayed
- User Manual Added
- Proof Tutorials Added
New Contributors
- @Girjoaba made their first contribution in #14
- @dependabot made their first contribution in #37
Full Changelog: https://github.com/Girjoaba/Eunomia/commits/v0.1-beta
Contributors
dependabot and Girjoaba