Try ACL2 will be a website where you can type in ACL2 expressions and evaluate them in the browser without having to install any extra software. It is in the spirit of _why's Try Ruby, chrisdone's Try Haskell, and others.
- The totally awesome jquery-console library was written by chrisdone.
- The tutorial is written in markdown and turned into HTML using Markdown in Python