Skip to content

feat(theories): make FinType.card abstract, specified by card_spec - #1224

Open
mattc-try wants to merge 2 commits into
EasyCrypt:mainfrom
mattc-try:feat/fintype-abstract-card
Open

feat(theories): make FinType.card abstract, specified by card_spec#1224
mattc-try wants to merge 2 commits into
EasyCrypt:mainfrom
mattc-try:feat/fintype-abstract-card

Merge branch 'main' into feat/fintype-abstract-card

fac5fbf
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs