sjfhsjfh 461d2e89b0 chore: Merge origin/main: hub v0.0.23-v0.0.25 into main with spec-rewrite

2026-07-14 15:44:21 +08:00

..

Courseware

refactor(spec): clean prose patterns across all modules

2026-07-13 11:26:23 +08:00

System

chore: Merge origin/main: hub v0.0.23-v0.0.25 into main with spec-rewrite

2026-07-14 15:44:21 +08:00

Courseware.lean

refactor(spec): clean prose patterns across all modules

2026-07-13 11:26:23 +08:00

Prelude.lean

chore: Merge origin/main: hub v0.0.23-v0.0.25 into main with spec-rewrite

2026-07-14 15:44:21 +08:00

System.lean

refactor(spec): clean prose patterns across all modules

2026-07-13 11:26:23 +08:00