Welcome to the Verif community! #115

Pinned

tnipen announced in Announcements

tnipen
Nov 30, 2022
Maintainer

Welcome to the Verif community!

We’re using Discussions as a place to connect users of Verif. We hope that you:

Check out Verif news in the Announcements section
Ask questions you’re wondering about in the Q&A section
Share your datasets in the Datasets section
Start a general discussion on verification in the General discussion section

Replies: 0 comments

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment