Skip to content

fix: sequent rules with up to 194 premises - #78

Merged
pyrex41 merged 8 commits into
mainfrom
cursor/fix-consume-arity-662d
Oct 19, 2026
Merged

fix: sequent rules with up to 194 premises#78
pyrex41 merged 8 commits into
mainfrom
cursor/fix-consume-arity-662d

merge: bring in ShenOSKernel 42.2 and UTF-8 string primitives

2f3ee3c
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar