KeY Logic Documentation
Defined symbols in the KeY System
Generated from version: heads/main on Fri Aug 21 01:50:48 UTC 2026
Startpage
Usage Index
KeY Docs
Overview
Taclets
all_bool
apply_eq_boolean
apply_eq_boolean_2
apply_eq_boolean_rigid
apply_eq_boolean_rigid_2
boolean_equal
boolean_equal_2
boolean_false_commute
boolean_not_equal_1
boolean_not_equal_2
boolean_true_commute
ex_bool
false_to_not_true
ifthenelse_equals
ifthenelse_equals_1
ifthenelse_equals_2
true_to_not_false
booleanRules.key
Taclets
No choice condition specified
boolean_equal