# Rust build artifacts
/target

# Nix build results
/result
result-*

# Generated Lean proof extraction output
/proofs

# Lean / Lake build cache (any nested proof project, e.g. under examples/)
.lake/

# rustfmt backups
**/*.rs.bk
