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

SamuelSchlesinger merged 1 commit into
cslib-community:mainfrom
chris-ai1:feat/computableInO-fun-prop

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

2f17692
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
check-title
succeeded Oct 30, 2026 in 3s