Data

Tools

Indexes

Applications

Experiments

Repos

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

gitlab.math.univ-paris-diderot.fr / cauderlier / dk_fol_parser

A parser for Dedukti first-order problems as produced by FoCaLiZe that can pretty-print the problems in other formats.

JSON API: https://repos.data.code.gouv.fr/api/v1/hosts/gitlab.math.univ-paris-diderot.fr/repositories/cauderlier%2Fdk_fol_parser

Stars: 0
Forks: 0
Open issues:

License: cecill-b
Language:
Dependencies parsed at: 0

Created at: over 7 years ago
Updated at: 11 months ago
Pushed at: 11 months ago
Last synced at: 12 months ago

No dependencies found