Changes:

• Added a __init__.py file in the tests folder to simplify running the tests
• Added a CONTRIBUTING.md file with contribution guidelines
• Started using coverage to measure the code's test coverage:
  • Added a .coveragerc configuration file for coverage
  • Added a test coverage badge (docs/coverage-badge.svg), made using coverage-badge
• Added dev optional dependencies for development in pyproject.toml
• Reformatted function definitions of less than 88 characters to take only one line

Changes:

• New sub-module hilbert for making Hilbert-style proofs
• Documentation update for the new features
• black code style change: maximum line length changed from 120 to the default and more standard 88
• Made formula attribute for Formula class private

Changes:

• Added the possibility to render truth tables with the TruthTable class (in the semantics sub-module). This functionality uses the tabulate library, which is now a new dependency.
• Renamed as_latex() method of Formula objects to to_latex()
• Updated and fixed typos in the docs

Changes:

• Added compatibility with Python 3.9
• Minor documentation changes

Changes:

• Added compatibility for Python >= 3.10
• Updated and corrected docs

Changes:

• Improved documentation and README.md
• Implemented repr for Formula, DisjunctiveClause and ConjunctiveClause classes

First release