Skip to content

added (but commented) dubious injective symbols for lambdapi unification

37c1730
Select commit
Loading
Failed to load commit list.
Draft

[POC] run Elpi code in lambdapi #418

added (but commented) dubious injective symbols for lambdapi unification
37c1730
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs