Skip to content

Special transformations for operators => and <=>#372

Merged
maxkratz merged 16 commits intomasterfrom
feature/implication-shortcuts
Apr 30, 2026
Merged

Special transformations for operators => and <=>#372
maxkratz merged 16 commits intomasterfrom
feature/implication-shortcuts

Commits

Commits on Apr 23, 2026

Commits on Apr 24, 2026

Commits on Apr 27, 2026

Commits on Apr 30, 2026