An implementation of Conway's Game of Life using ACL2. Python Bottle is used to provide a front end to the game, which can in turn be hosted as a service.
- python2.7
- proofpad (or some way to compile ACL2 code)
-
Compile Conway.lisp into an executable
-
Edit 'harness/web_ui.py' to point to the executable you compiled
-
Run the web UI (using terminal/command line)
python web_ui.py
-
Connect to http://localhost:8085/