Ecosyste.ms: Repos

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

GitHub / Deducteam / lambdapi

Proof assistant based on the λΠ-calculus modulo rewriting

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

Stars: 262
Forks: 35
Open Issues: 98

License: other
Language: OCaml
Repo Size: 38.7 MB
Dependencies: 24

Created: over 6 years ago
Updated: 2 days ago
Last pushed: 1 day ago
Last synced: about 24 hours ago

Topics: dependent-types, logical-framework, proof-assistant, proof-checker, proof-translator, rewriting

Files

Loading...

Readme

Loading...

Dependencies

.github/workflows/main.yml actions

actions/cache v2 composite
actions/checkout v2 composite
avsm/setup-ocaml v1 composite

editors/vscode/package.json npm

@types/mocha ^2.2.42 development
@types/node ^10.14.15 development
@types/vscode ^1.37 development
typescript ^3.3.1 development
fs-extra ^9.0.1
vscode-languageclient 5.2.1

editors/vscode/package-lock.json npm

@types/mocha 2.2.48 development
@types/node 10.17.49 development
@types/vscode 1.52.0 development
typescript 3.9.7 development
at-least-node 1.0.0
fs-extra 9.0.1
graceful-fs 4.2.4
jsonfile 6.1.0
semver 5.7.1
universalify 2.0.0
universalify 1.0.0
vscode-jsonrpc 4.0.0
vscode-languageclient 5.2.1
vscode-languageserver-protocol 3.14.1
vscode-languageserver-types 3.14.0