refactor: make CCPO class Prop-valued #15306
Triggered via pull request
December 2, 2025 19:04
leanprover-community-bot
leanprover-community-bot
labeled
#11425
Status
Skipped
Total duration
–
Artifacts
–