Contact owners and managers


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.


English (United States)


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