Misc.

While I'm at it: some other things I've done recently are improving the Tree Proof Generator (in particular, the proofs are now drawn on a separate page, so that you can get back to the form by hitting your browser's back button), writing a summary of Frege's "Grundgesetze der Arithmetik" (in German), and finding a new flat.

Comments

No comments yet.

Add a comment

Please leave these fields blank (spam trap):

No HTML please.
You can edit this comment until 30 minutes after posting.