Skip to content

Fixed SubSeq axiom for case n < m

d7212f1
Select commit
Loading
Failed to load commit list.
Merged

Fix SubSeqTyping axiom for the empty case #216

Fixed SubSeq axiom for case n < m
d7212f1
Select commit
Loading
Failed to load commit list.