Ghilbert

Contact owners and managers

ghilbert@googlegroups.com

Description

This group is for discussion of the Ghilbert proof interchange format, the prototype implementation, discussing the differences between Ghilbert and other related systems (especially Metamath and JHilbert), bridges to other systems, and the experiences of developing proofs.

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 but posts from new members will be held for moderation

Anyone on the web

can join group