grantbacon/conways-game-of-life-service
An ACL2 implementation of Conway's Game of Life with a Python Bottle front-end
PythonMIT
No issues in this repository yet.
An ACL2 implementation of Conway's Game of Life with a Python Bottle front-end
PythonMIT
No issues in this repository yet.