Awesome

Automated theorem proving system based on John Harrison's book.

Information

Core ATP scripts was generated using GHCJS compiler.

Links

Source implementation on Haskell

ATP System