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 buildA 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 buildApache License 2.0