Search 9 packages
| Packages1–9 of 9 | Version | Risk | Vulns | Description | Downloads | When |
|---|
| linlog-cli cargo | 0.1.0 | none | low | The linlog command: decide, check, prove step by step and export sequents of linear logic, and ordinary logic through its translations. | 9 | 17h ago |
| linlog cargo | 0.1.0 | none | none | A linear logic suite: decides, checks, proves step by step and exports sequents of classical and intuitionistic linear logic, and ordinary propositional logic… | 11 | 17h ago |
| khive-pack-formal cargo | 0.14.0 | none | none | Formal-math ontology pack — typed edge rules for theorem/definition/structure/instance/axiom/goal subtypes | 257 | 1d ago |
| mrs-tptp cargo | | – 0.3.0 did not build | – | A robust TPTP parser for Rust using winnow | 302 | 2d ago |
| lean-tui cargo | 1.1.0 | high | medium | Standalone TUI infoview for Lean 4 theorem prover | 980 | 3d ago |
| litex-lang cargo | 1.1.1-beta | none | none | The Language Where Mathematics Verifies Itself | 803 | 3d ago |
| hooo cargo | 0.13.0 | none | none | Propositional logic with exponentials | 26K | 5d ago |
| lean-rs-host cargo | | – 0.9.4 did not build | – | Opinionated Rust host stack for embedding Lean 4 as a theorem-prover capability: typed sessions, kernel-check evidence handles, bounded MetaM services,… | 1.3K | 6d ago |
| olean-export cargo | 0.3.0 | none | none | Optimized library for reading Lean .olean files directly emitting lean4export-compatible NDJSON for external kernel checkers. | 91 | 8d ago |
