ideas-math-types-1.1: Common types for mathematical domain reasoners

Index - B

BooleanDomain.Algebra.Boolean, Domain.Logic.Formula
booleanLawsDomain.Algebra.BooleanLaws
BoolValueDomain.Algebra.Boolean, Domain.Logic.Formula
bottomSymbolDomain.Math.Expr.Symbols, Domain.Math.Expr