Ecosyste.ms: Repos

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

GitHub / DominicPM / supervisionary

Supervisionary: a proof-checking system for HOL

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

Stars: 0
Forks: 0
Open Issues: 0

License: mit
Language: Rust
Repo Size: 4.84 MB
Dependencies: 41

Created: over 3 years ago
Updated: over 1 year ago
Last pushed: about 1 year ago
Last synced: 4 days ago

Topics: higher-order-logic, rust, theorem-prover, theorem-proving, wasm, webassembly

Files
    Loading...
    Readme
    Loading...
    Dependencies
    wasmi-bindings/Cargo.toml cargo
    .github/workflows/ci.yaml actions
    Cargo.toml cargo
    driver/Cargo.toml cargo
    kernel/Cargo.toml cargo
    libsupervisionary/Cargo.toml cargo
    system-interface/Cargo.toml cargo
    tests/constant/Cargo.toml cargo
    tests/system/Cargo.toml cargo
    tests/term/Cargo.toml cargo
    tests/theorem/Cargo.toml cargo
    tests/type/Cargo.toml cargo
    tests/type_former/Cargo.toml cargo
    Cargo.lock cargo