Skip to content

Work on inference, unification and subject-reduction - #328

Merged
rlepigre merged 71 commits into
Deducteam:masterfrom
fblanqui:rhs_metas
Apr 10, 2020
Merged

Work on inference, unification and subject-reduction#328
rlepigre merged 71 commits into
Deducteam:masterfrom
fblanqui:rhs_metas

Added comment.

a0e1f3e
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs