Toys

Here are some random things I have created for generally unclear reasons.

The Most User-Friendly Theorem Tester (MUFT)
A very simple program that checks whether some statement(s) in propositional logic follow(s) from the given premise(s).
To MUFT
Instructions to MUFT

True Black Box (TBB)
A variation on the Black Box game, that adheres a little more closely to the reality of scientific experimental research.
To True Black Box
About True Black Box