Search 1 packages
| Packages1–1 of 1 | Version | Risk | Vulns | Description | Downloads | When |
|---|---|---|---|---|---|---|
| leanelpi cargo | – 0.3.3 did not build | – | Rust bindings for LeanElpi, the ELPI dialect of λProlog implemented in Lean 4 | 42 | 1d ago |
Open-Source Registry
| Packages1–1 of 1 | Version | Risk | Vulns | Description | Downloads | When |
|---|---|---|---|---|---|---|
| leanelpi cargo | – 0.3.3 did not build | – | Rust bindings for LeanElpi, the ELPI dialect of λProlog implemented in Lean 4 | 42 | 1d ago |