Skip to content

Commit ae06896

Browse files
simnalamburtsimnalamburt
committed
README.md: Misc update
1 parent 797bfec commit ae06896

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

‎README.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@ software-foundations-lean
22
========
33
Software Foundations rewritten in Lean 4
44

5-
> [!WARNING]
5+
> [!NOTE]
66
> This project is still very incomplete.
77
88
```bash

0 commit comments

Comments
 (0)