Skip to content
Open-Source Registry

Search 2 packages

found
reviewed
build behaviour
Packages1–2 of 2VersionRiskVulnsDescriptionDownloadsWhen
leanelpi cargo– 0.3.3 did not build–Rust bindings for LeanElpi, the ELPI dialect of λProlog implemented in Lean 4421d ago
prolog-squared cargo1.5.0nonehighA Meta-Interpretive Learning framework implementing second-order SLD resolution2161d ago