Hello, this is the site of one reality, where I put some things what I wrote.

Here are some new pages:

Here are some pages which are heavily in-progress:

Here are some logic haiku:

if you find theorems
A and that A implies B
infer theorem B
mind p and not p
since from a contradiction
anything follows
for all not is equal to
there does not exist

I have also written and worked on some software projects, which you can see on my GitHub Profile, but the most notable of which are: