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.
- 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