Groups
Sign in
Groups
kind2-users
Conversations
Labels
About
Send feedback
Help
kind2-users
Contact owners and managers
kind2-users@googlegroups.com
Description
Discussions between users and developers of the Kind 2 verifier
We welcome bug reports directly at https://github.com/kind2-mc/kind2/issues
Language
English
Privacy
Anyone on the web
can see group
Group members
can view members
Group members
can view conversations
Group members
can post
Anyone on the web
can ask to join group