Girard Reading Group

From Girard Reading Group

(Redirected from Main Page)
Jump to: navigation, search

Welcome to the web home of CMU's Girard Reading Group.

[edit] Entry Points

[edit] Notices

  • 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,Δ
————————————————————
      ξ |- Γ,Δ
Retrieved from "http://locuspocus.hyperkind.org/wiki/Girard_Reading_Group"
Personal tools