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 ko - Last synced: 1 jour ago - Pushed: plus de 3 ans ago