diff --git a/Cargo.toml b/Cargo.toml
index 7137532..1b505d9 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -1,9 +1,11 @@
 [package]
 name = "raa_tt"
 version = "0.1.0"
+categories = ["science", "mathematics", "parser-implementations"]
+description = "Proves sentences of propositional calculus"
+documentation = "https://docs.rs/raa_tt"
 edition = "2021"
 keywords = ["propositional calculus"]
-categories = ["science", "mathematics", "parser-implementations"]
 license = "MIT OR Apache-2.0"
 
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html