feline greeting .gitignore gamarjoba.lean justfile proof.lean sample.lean tutorial.lean