Cornell cpp docs generated .gitignore Cornell.lean LICENSE README.md flake.lock flake.nix lake-manifest.json lakefile.lean lean-toolchain