Skip to content
Back to pull request #5041

feat: mutual recursion: allow common prefix up to alpha-equivalence #3837

Sign in to view logs

feat: mutual recursion: allow common prefix up to alpha-equivalence

feat: mutual recursion: allow common prefix up to alpha-equivalence #3837

Triggered via pull request August 14, 2024 12:48
@nomeatanomeata
synchronize #5041
joachim/commonPrefix-alpha
Status Success
Total duration 32s
Artifacts –

copyright-header.yml

on: pull_request
check-lean-files
22s
check-lean-files
Fit to window
Zoom out
Zoom in