provedRules property

List<(Logic, Logic)> provedRules
final

Implementation

final List<(Logic, Logic)> provedRules = [];