cargo / leanelpi
Rust bindings for LeanElpi, the ELPI dialect of λProlog implemented in Lean 4
0.3.3 did not build; the badge stands for .
| Versions4 | Risk | Vulns | Published |
|---|---|---|---|
| 0.3.3 | did not build | 2d ago | |
| 0.3.2 | not analyzed | 2d ago | |
| 0.3.1 | not analyzed | 2d ago | |
| 0.3.0 | not analyzed | 3d ago | |