If inductive-programming.live is unreachable, this could indicate a problem with the redirection settings across its different versions. To access the site, try using one of the links below:

http://inductive-programming.live http://www.inductive-programming.live https://inductive-programming.live https://www.inductive-programming.live

Or return to the current status page of inductive-programming.live.