Search 2 packages
| Packages1–2 of 2 | 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 | |
| prolog-squared cargo | 1.5.0 | none | high | A Meta-Interpretive Learning framework implementing second-order SLD resolution | 216 | 1d ago |
