MCPcopy Create free account
hub / github.com/BasisResearch/lean.py / Bool

Function Bool

lean_py/z3/core.py:1076–1077  ·  view source on GitHub ↗
(name: str)

Source from the content-addressed store, hash-verified

1074
1075
1076def Bool(name: str) -> BoolRef:
1077 return BoolRef(_AstVar(name), frozenset([(name, PropSort())]))
1078
1079
1080def Bools(names: str) -> tuple[BoolRef, ...]:

Callers 15

test_excluded_middleMethod · 0.90
test_prove_tautologyMethod · 0.90
test_ite_bool_conditionMethod · 0.90
test_is_expr_variousMethod · 0.90
test_is_sort_typesMethod · 0.90
test_expression_sortMethod · 0.90
test_prove_simple_tautologyMethod · 0.90
test_double_negationMethod · 0.90
test_and_listMethod · 0.90
test_or_listMethod · 0.90
test_and_singleMethod · 0.90
test_or_singleMethod · 0.90

Calls 2

PropSortClass · 0.90
BoolRefClass · 0.85

Tested by 15

test_excluded_middleMethod · 0.72
test_prove_tautologyMethod · 0.72
test_ite_bool_conditionMethod · 0.72
test_is_expr_variousMethod · 0.72
test_is_sort_typesMethod · 0.72
test_expression_sortMethod · 0.72
test_prove_simple_tautologyMethod · 0.72
test_double_negationMethod · 0.72
test_and_listMethod · 0.72
test_or_listMethod · 0.72
test_and_singleMethod · 0.72
test_or_singleMethod · 0.72