Improper redirect configurations between website versions might cause access issues. Please check the links below for alternative ways to reach formal.info:

http://formal.info http://www.formal.info https://formal.info https://www.formal.info

Or return to the current status page of formal.info.