Skip to content

Coq: more efficient equality decision procedures for enums#495

Merged
bacam merged 1 commit intorems-project:sail2from bacam:coq-enum-eqApr 11, 2024