Guru Gang

guru-gang@googlegroups.com

Description

The guru-gang group provides support and discussion related to programming and theorem proving with the Guru verified programming language. The open-source codebase for Guru is available from www.guru-lang.org, or at guru-lang.googlecode.com.

Language

English (United States)

Privacy

Anyone on the web

can see group

Group owners and managers

can view members

Anyone on the web

can view conversations

Group members

can post

Invited users

can join group