Data

Tools

Indexes

Applications

Experiments

Repos

An open API service providing repository metadata for many open source software ecosystems.

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 KB - Last synced: 4 days ago - Pushed: over 3 years ago