User:Lord Farin/Archive

Welcome to the portal to my personal archive. Stuff deemed unripe or inappropriate for the main site, but worth retaining, is moved here.

Here is a list of such stuff:


 * User:Lord_Farin/Archive/Natural Deduction Axioms These axioms weren't suited for the stuff currently present, but were sufficiently laborious to create that they deserve preservation.
 * User:Lord_Farin/Archive/Graph Theory Axioms These axioms have yet to prove use, but are correct.