Skip to content

Refactor lemmas so that they work with the Haskell backend.

cfe57c6
Select commit
Loading
Failed to load commit list.
Draft

Lemma refactoring #291

Refactor lemmas so that they work with the Haskell backend.
cfe57c6
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs