2 skills found
Izumi-Koishi / SRS (1)Campus Second-Hand Marketplace Software Requirements Specification (SRS) | Version | Status | Author | Date | Change Summary | | :---- | :---- | :---- | :---- | :---- | | 8.0 | Final Dr
Turnersoft / proofTheorem 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
