A simplified version of the Coffee Can Problem, from David Gries’ The Science of Programming.
Build instructions:
git clone https://github.com/jesse-michael-han/lean-coffee-can
cd lean-coffee-can
leanpkg configure && leanpkg build
A simplified version of the Coffee Can Problem, from David Gries’ The Science of Programming.
Build instructions:
git clone https://github.com/jesse-michael-han/lean-coffee-can
cd lean-coffee-can
leanpkg configure && leanpkg build
Apache License 2.0