Skip to content

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

Open
mattc-try wants to merge 1 commit 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 1 commit into
EasyCrypt:mainfrom
mattc-try:feat/fintype-abstract-card

Commits

  1. Commits on Oct 30, 2026