gitlab.inria.fr / hol-light-isabelle / hol-light
JSON API: https://data.code.gouv.fr/api/v1/hosts/gitlab.inria.fr/repositories/hol-light-isabelle%2Fhol-light
Stars: 0
Forks: 0
Open issues:
License: bsd-2-clause
Language:
Dependencies parsed at:
1
Created at: over 1 year ago
Updated at: over 1 year ago
Last synced at: 7 months ago
.github/workflows/main.yml
actions
- actions/checkout v2 composite