Skip to content

Add the command lambdapi depend to compute dependencies quickly#1212

Open
fblanqui wants to merge 4 commits into
Deducteam:masterfrom
fblanqui:dep
Open

Add the command lambdapi depend to compute dependencies quickly#1212
fblanqui wants to merge 4 commits into
Deducteam:masterfrom
fblanqui:dep

add starts_with in lplib

13d9867
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs