Check for empty PR

feat: make `Nat.strongRecOn` and `Nat.caseStrongRecOn` computable #6637

Sign in to view logs

Triggered via pull request September 1, 2026 02:02

synchronize #12894

Parcly-Taxel:computable-strong-induction

Status Success

Total duration 48s

Artifacts –

check-empty-pr.yml

on: pull_request