Template:Front-What's new

From The Twelf Project
Jump to: navigation, search
  • August 31, 2006 - The ConCert group at CMU met to discuss summer projects and to brainstorm ideas for improving communication and information dissemination, including in the context of the Twelf Wiki.