Skip to content
Check PR title for commit convention

feat: abbrev produces theorems where appropriate #12201

Sign in to view logs

feat: abbrev produces theorems where appropriate

feat: abbrev produces theorems where appropriate #12201

check-pr-title

check-pr-title
succeeded Nov 26, 2024 in 3s