Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / Deducteam / isabelle_dedukti
Isabelle component generating Dedukti proofs
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Deducteam%2Fisabelle_dedukti
Stars: 3
Forks: 3
Open Issues: 2
License: None
Language: Scala
Repo Size: 308 KB
Dependencies:
2
Created: almost 5 years ago
Updated: over 1 year ago
Last pushed: 5 months ago
Last synced: 5 months ago
Files
Loading...
Readme
Loading...
Dependencies
.github/workflows/main.yaml
actions
- actions/checkout v3 composite
- avsm/setup-ocaml v2 composite