Package Usage: hackage: Agda2Dedukti
View more package details: https://packages.ecosystem.code.gouv.fr/registries/hackage.haskell.org/packages/Agda2Dedukti
Dependent Repos 1
Deducteam/Agda2Dedukti
Size: 556 ko - Last synced: environ 11 heures ago - Pushed: plus de 4 ans ago
