Skip to content

feat(BigO): fun_prop rules for ComputableInO in compositional form - #1826

Merged
SamuelSchlesinger merged 1 commit into
cslib-community:mainfrom
chris-ai1:feat/computableInO-fun-prop
Oct 31, 2026
Merged

feat(BigO): fun_prop rules for ComputableInO in compositional form#1826
SamuelSchlesinger merged 1 commit into
cslib-community:mainfrom
chris-ai1:feat/computableInO-fun-prop

Commits

  1. Commits on Oct 30, 2026