Skip to content
Open-Source Registry

Search 1 packages

found
reviewed
build behaviour
Packages1–1 of 1VersionRiskVulnsDescriptionDownloadsWhen
leanelpi cargo– 0.3.3 did not build–Rust bindings for LeanElpi, the ELPI dialect of λProlog implemented in Lean 4421d ago