diff --git a/Cargo.lock b/Cargo.lock index b194ea4..8c47771 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -99,7 +99,7 @@ checksum = "a47c1c47d2f5964e29c61246e81db715514cd532db6b5116a25ea3c03d6780a2" [[package]] name = "fitch" -version = "0.1.0" +version = "0.0.1" dependencies = [ "crossterm", "ratatui", diff --git a/Cargo.toml b/Cargo.toml index 899aea2..2d7fdae 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -1,6 +1,11 @@ [package] name = "fitch" -version = "0.1.0" +version = "0.0.1" +authors = ["Mroik "] +description = "This is an implementation of a proof assistant using the fitch notation" +readme = "README.md" +repository = "https://github.com/Mroik/fitch" +license = "MIT" edition = "2021" # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html