Skip to content

[POC] run Elpi code in lambdapi#418

Draft
gares wants to merge 25 commits intoDeducteam:masterfrom
gares:elpi
Draft

[POC] run Elpi code in lambdapi#418
gares wants to merge 25 commits intoDeducteam:masterfrom
gares:elpi

Commits

Commits on Jan 27, 2023

Commits on Jan 28, 2023