User:Tom7

From The Twelf Project

Hi, I'm Tom Murphy VII, known colloquially as Tom 7. I am a graduate student at Carnegie Mellon University, nearing completion. My real home page is at tom7.org.

[edit] Notes

• I always have trouble remembering Special:Allmessages.
• I also have trouble remembering MediaWiki:Edittools.
• I want to customize the site so it doesn't look exactly like Wikipedia. This page has some explanation of MediaWiki:Monobook.css div IDs, etc.
• Here I can experiment with crazy template features.
• To do: add parameterized resp technique to congruence lemmas, along with semi-tasteless tricks

[edit] Photographs of me with the Twelf Elf

Tom (left) with Twelf Elf, Halloween 2006.