This website is primarily, in effect, a front end to Scott Aaronson's Complexity Zoo. That is a great wiki, and credit is due first to everyone working on that.
The overal goal of this page/site are to organize that information in a formal way -- something that precise enough that it could, in principle, be fed into an automated reasoning system and formally verified. But that is not the purpose. The actual objectives are a few: There is one more objective here, which is to help me learn more about complexity theory myself. :)

--Alex Meiburg


If you want to contact me, click to show, or post an issue at the GitHub repo