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