Groups
Sign in
Groups
Abella
Conversations
About
Send feedback
Help
Abella
Contact owners and managers
abella-theorem-prover@googlegroups.com
Description
Discussions about the Abella theorem prover.
Language
English (United States)
Privacy
Anyone on the web
can see group
Group members
can view members
Anyone on the web
can view conversations
Group members
can post
Anyone on the web
can ask to join group