just small experiments for myself learning lean - View it on GitHub