Turnersoft

debug always run `cargo check` to find compiler errors and fix them before you finish you anwsers

Theorem Proof Naming Conventions Variable Naming for Proof Steps Throughout the codebase, proof steps follow a specific naming convention: - `p0` - The initial branch from a theorem builder

naming for component the folder name, filename should be lower case with "\_". job always fix all lint errors by running "npm run build" before you finish you anwser.