bump version

Author: ozekik

pyproject.toml

@@ -1,6 +1,6 @@
 [project]
 name = "mathesis"
-version = "0.5.3"
+version = "0.6.0"
 description = "Formal logic library in Python for humans"
 authors = [
     {name = "Kentaro Ozeki", email = "32771324+ozekik@users.noreply.github.com"}