Skip to content

rm pdegen, use more PropB

2b2e724
Select commit
Loading
Failed to load commit list.
Merged

helper lemmas for contra (PR #1119) #1136

rm pdegen, use more PropB
2b2e724
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs