/

• .gitignore
• Algebra.lean
• Algebra
• Graded.lean
• Graded
• Nominal.lean
• Nominal
• flake.lock
• flake.nix
• lake-manifest.json
• lakefile.toml
• lean-toolchain