Skip to content

Context-extension for dependent-types (unif_rule BUG?)#25

Open
1337777 wants to merge 2 commits into
Deducteam:masterfrom
1337777:master
Open

Context-extension for dependent-types (unif_rule BUG?)#25
1337777 wants to merge 2 commits into
Deducteam:masterfrom
1337777:master

Update Context.lp

9a6756d
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs