Skip to content
Nix CI

fix: respect type reducibility when generating injectivity lemmas #9971

Sign in to view logs

fix: respect type reducibility when generating injectivity lemmas

fix: respect type reducibility when generating injectivity lemmas #9971

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Nix Linux
1m 58s
1m 58s