User:Lord Farin
Just a mathematics student with a broad interest, trying to make mathematics more accessible.
My personal templates, sandboxes and the like:
User:Lord_Farin/common.js is the .js file I use to develop new functionality in.
User:Lord_Farin/Sandbox is my sandbox, which is used to test functionality, and prepare/attempt pages and structures. May have subpages attached.
User:Lord_Farin/SandboxTemplate is my sandbox template, in which I experiment with templates.
User:Lord Farin/Proof Structures is the place for proof templates I (and hopefully more people) tend to use.
User:Lord Farin/Tableau Proof Rules is where I keep templates for all allowed inferences in tableau proofs. This may appear as a bona fide page in the future.
Category:Lord_Farin's Stubs is the Category for pages I plan to finish later on.
User:Lord Farin/Long-Term Projects is the place for things that are on even longer tracks than those in above Category.
Landmarks
I am particularly fond of the following contributions (all of which hence are my own work; i.e., I didn't copy the proof from some source):
