Ecosyste.ms: Repos

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

GitHub / Gbury / dolmen

Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Gbury%2Fdolmen

Stars: 75
Forks: 16
Open Issues: 24

License: bsd-2-clause
Language: OCaml
Repo Size: 10.1 MB
Dependencies: 8

Created: about 8 years ago
Updated: 4 days ago
Last pushed: 4 days ago
Last synced: 4 days ago

Topics: atp, flexible-parsers, functor, language, model, ocaml, ocaml-library, parse, smt-lib, theorem-proving, tptp, typechecker

Files
    Loading...
    Readme
    Loading...
    Dependencies
    .github/workflows/build.yml actions
    .github/workflows/install.yml actions
    .github/workflows/release.yml actions