Welcome to F* Discussions! #2510
nikswamy
announced in
Announcements
Replies: 1 comment
-
This comment is testing the slack integration for a regular comment. |
Beta Was this translation helpful? Give feedback.
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
👋 Welcome!
We’re using Discussions as a place to connect with other members of our community. We hope that you:
Beta Was this translation helpful? Give feedback.
All reactions