Skip to content

Tactic.Derive.DecEq: faster variant

c2745e8
Select commit
Loading
Failed to load commit list.
Merged

Tactic.Derive.DecEq: faster variant #36

Tactic.Derive.DecEq: faster variant
c2745e8
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar