Skip to content
Backport

feat: functional cases theorem for non-recursive functions #6546

Sign in to view logs

feat: functional cases theorem for non-recursive functions

feat: functional cases theorem for non-recursive functions #6546

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Backport
0s
0s