User:Lord Farin/Sandbox

This page exists for me to be able to test features I am developing. Also, incomplete proofs may appear here.

Feel free to comment.

Over time, stuff may move to User:Lord_Farin/Sandbox/Archive.

Subpages of this one may exist; they are listed at this PW special page.

= Restructuring of the logic department =

This is in progress. The Definitions/Formal Systems category has been reworked for the directly relevant part. (I've let Bourbaki and some pages on Definition:String resp. Definition:Word (Formal Systems) rest for now.)

I will have to do a lot of reading in the category and its subcategories to try and bring order in the fragmentation. &mdash; Lord_Farin (talk) 12:27, 8 September 2013 (UTC)