Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

oxilean-cli

OxiLean command-line interface

Ecosystem
crates.io
Latest Release
0.1.1
1 day ago
Versions
2
Downloads
10 total
    Loading...
    Readme
    Loading...
    Links
    Registry crates.io
    Source Repository
    Docs Documentation
    JSON API View JSON
    CodeMeta codemeta.json
    Package Details
    PURL pkg:cargo/oxilean-cli
    spec
    License Apache-2.0
    First Release 6 days ago
    Last Synced 1 day ago
    Keywords
    cli lean proof theorem-prover type-theory lean4 math mathematics rust rust-crate rust-lang rust-library solver
    Repository
    Stars 1 on GitHub
    Forks 0 on GitHub
    repos.ecosyste.ms