Skip to content

Commit

Permalink
post release
Browse files Browse the repository at this point in the history
  • Loading branch information
Vipul-Cariappa authored Dec 30, 2023
1 parent cf02dfe commit f143901
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 1 deletion.
2 changes: 2 additions & 0 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,8 @@

Logic is a predicate logic simulator. It can be used to create automated proof.

You can test it out on jupyter notebook [here](https://www.vipulcariappa.xyz/jupyterlite-deploy/lab/index.html?path=logic.ipynb).

## Installation

Install using pip with the git url
Expand Down
2 changes: 1 addition & 1 deletion pyproject.toml
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
[project]
name = "py-logic"
version = "0.1.1"
version = "0.1.1+"
authors = [{ name = "Vipul Cariappa", email = "[email protected]" }]
description = "Library to use and simulate propositional logic"
readme = "README.md"
Expand Down

0 comments on commit f143901

Please sign in to comment.