/

• .envrc
• .gitignore
• AvlVerification.lean
• Cargo.lock
• Cargo.toml
• Main.lean
• Notraits.thy
• ROOT
• Verification.lean
• Verification.thy
• Verification
• default.nix
• document
• lake-manifest.json
• lakefile.lean
• lean-toolchain
• notes.md
• npins
• shell.nix
• src