iProver

iprover@googlegroups.com

Description

Announcements of major releases for iProver -- an instantiation-based theorem prover for first-order logic.

English (United States)

Anyone on the web

can see group

Group owners and managers

can view members

Anyone on the web

can view conversations

Group owners and managers

can post

Anyone on the web

can join group