Skip to content

Commit e376a82

Browse files
ozekikozekik
committed
update docs and readme
1 parent 2454a06 commit e376a82

2 files changed

Lines changed: 2 additions & 2 deletions

File tree

‎README.md‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -50,7 +50,7 @@ pip install mathesis
5050

5151
| | Model | Tableau | Natural Deduction | Sequent Calculus |
5252
|---:|:---:|:---:|:---:|:---:|
53-
| Classical logic | ✅ | ✅ | - | - |
53+
| Classical logic | ✅ | ✅ | ✅ | - |
5454

5555
#### In Progress
5656

‎docs/index.md‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -53,7 +53,7 @@ pip install mathesis
5353

5454
| | Model | Tableau | Natural Deduction | Sequent Calculus |
5555
|---:|:---:|:---:|:---:|:---:|
56-
| Classical logic | ✅ | ✅ | - | - |
56+
| Classical logic | ✅ | ✅ | ✅ | - |
5757

5858
#### In Progress
5959

0 commit comments

Comments
 (0)