Skip to content

Commit 75c52a4

Browse files
SnO2WMaNSnO2WMaN
committed
Update README
1 parent 45db355 commit 75c52a4

1 file changed

Lines changed: 1 addition & 3 deletions

File tree

‎README.md‎

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -2,9 +2,7 @@
22

33
Formalization of very weak subintuitionstic logics in Lean 4.
44

5-
Status: **WIP**:
6-
This formalization is migrated from old codes from [Foundation](https://github.com/FormalizedFormalLogic).
7-
Currently we are rewriting proofs for more generalized results on latest articles.
5+
This formalization is migrated from old codes in [Foundation](https://github.com/FormalizedFormalLogic).
86

97
## Related Articles
108

0 commit comments

Comments
 (0)