Skip to content

feat: use cbv in several examples#304

Merged
TwoFX merged 1 commit intoleanprover:masterfrom
wkrozowski:wojciech/use_cbv
Mar 26, 2026
Merged

feat: use cbv in several examples#304
TwoFX merged 1 commit intoleanprover:masterfrom
wkrozowski:wojciech/use_cbv

Commits

Commits on Mar 25, 2026