Updated pyproject.toml for new pypi version

Author: Cubix1729

docs/index.md

@@ -11,7 +11,7 @@ LogicalPy is a small Python library providing basic functionalities for manipula
 The library allows to work with classical propositional logic formulae.
 The main features include:
 
- - The creation of logical formulae either directly or from a string
+ - The construction of logical formulae either directly or from a string
  - The implementation of semantic notions: satisfiability, entailment...
  - The conversion to normal forms (NNF, DNF, DNF)
  - Automated theorem proving with the resolution procedure

docs/usage/normal-forms.md

@@ -51,10 +51,10 @@ P ∨ (¬Q ∧ ¬P)
 ## Clausal representations of normal forms
 
 The `normal_forms` sub-module also contains classes representing conjunctive and disjunctive clauses.
-The CNF and DNF can be found in terms of clauses with the `to_clausal_cnf()` and `to_clausal_dnf()` functions.
+The CNF and DNF forms can be found in terms of clauses with the `to_clausal_cnf()` and `to_clausal_dnf()` functions.
 With `to_cnf()` and `to_dnf()`, the resulting normal forms are `Formula` instances, so disjunction and conjunction
 are represented as binary operators, but with `to_clausal_cnf()` and `to_clausal_dnf()`, the results are lists
-of clauses. Note that the resulting clauses aren't simplified afterhand.
+of clauses. Note that the resulting clauses aren't simplified.
 
 <br>
 

pyproject.toml

@@ -5,7 +5,10 @@ build-backend = "hatchling.build"
 [project]
 name = "logicalpy"
 description = "A library providing basic functionalities for manipulating propositional logic"
-version = "0.1.0"
+version = "0.1.1"
+authors = [
+    {name = "Timothée Monin"}
+]
 dependencies = ["lark>=1.2.2"]
 requires-python = ">= 3.13"
 readme = "README.md"