sp-eta-postpone/theories
2025-01-31 21:45:55 -05:00
..
Autosubst2 Add tstar to preserve eta normal forms 2025-01-27 16:44:48 -05:00
fp_red.v stuck on antirenaming because of scoped syntax 2025-01-31 21:45:55 -05:00