Context-extension for dependent-types (unif_rule BUG?)#25
Open
1337777 wants to merge 2 commits intoDeducteam:masterfrom
Open
Context-extension for dependent-types (unif_rule BUG?)#251337777 wants to merge 2 commits intoDeducteam:masterfrom
1337777 wants to merge 2 commits intoDeducteam:masterfrom
Commits
Commits on Nov 26, 2024
Commits on Dec 10, 2024
- authored