Welcome to the gskr.ing webring. A collection of personal spaces maintained by people who share certain ideas or approaches to the Internet. You can also retrieve the list of RSS/Atom feeds associated with the webring using the OPML file or browse the various sites in the reader (making it easy to switch from one site to another).
This webring is by invitation only. A current member must have met the prospective member in person (e.g., at a conference) and must be able to vouch for the candidate's exceptional engineering skills and character. We're interested in functional programming, type system, automated theorem proving and interactive theorem proving.