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