Skip to content

BOL semantics: add missing refl axiom for C_R*

e4934ba
Select commit
Loading
Failed to load commit list.
Closed

BOL semantics: add missing refl axiom for C_R* #132

BOL semantics: add missing refl axiom for C_R*
e4934ba
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs