Skip to content

Commit 94bd4ab

Browse files
authored
Update chat link in README.md
1 parent 39caa47 commit 94bd4ab

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

README.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -11,7 +11,7 @@ Download:
1111

1212
### Paper Information
1313

14-
- Chat:
14+
- Chat: https://grosser.zulipchat.com/#narrow/channel/552062-Project---Lean4---Hardware-Generation
1515
- Lead:
1616
- Senior Lead:
1717

0 commit comments

Comments
 (0)