That’s dishonest. It’s a development prototype. Here’s a good overview and timeline:

http://www.nikcub.com/posts/crunchpad-proof-obviousness-in-i...