User:Lord Farin/Archive
Jump to navigation
Jump to search
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.