feat: a few missing CTree lemmas, especially around bind #13730
Triggered via pull request
September 17, 2026 09:34
nchappe
Status
Success
Total duration
22m 9s
Artifacts
–
lean_action_ci.yml
on: pull_request
Check orphan Lean modules
7s
Matrix: build