Before publishing

jsinger67 · Nov 1, 2023 · edb2c25 · edb2c25
1 parent c650a53
commit edb2c25
Showing 1 changed file with 3 additions and 1 deletion.
diff --git 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