menu
symbolic package
documentation
core/facts.dart
Prover
rulesBeta property
rulesBeta property
dark_mode
light_mode
rulesBeta
property
List
<
(
Logic
,
Logic
)
>
get
rulesBeta
Implementation
List<(Logic, Logic)> get rulesBeta => splitAlphaBeta().$2;
symbolic package
documentation
core/facts
Prover
rulesBeta property
Prover class