Girard Reading Group
From Girard Reading Group
(Redirected from Main Page)
Welcome to the web home of CMU's Girard/Ludics Reading Group.
- Mailing List: I'm not providing a direct link to the webpage for the mailing list because of spam concerns, but it can be found by going here and then adding the suffix /girard-rg to the URL. (TODO: hook this up to reCAPTCHA)
- CAPTCHAs: editing is captcha-protected unless until someone gives you the mustardseed permission - create yourself an account, then send Rob an email or poke him on his talk page or in his office to make your life easier.
- Inference Rules It's really annoying to write inference rules using MediaWiki's LaTeX plugin, so I (Rob) am going to suggest we do fixed-width font derivations instead of the Mediawiki math module; that said, I'll install that module if people want. You can get MediaWiki to go fixed-width by starting a line with a space, for instance:
|- ξ*1,Γ |- ξ*4,Δ ———————————————————— ξ |- Γ,Δ