Index

A

append_row() (txgraffiti.playground.conjecture.ConjecturePlayground method)

auto_var_map() (in module txgraffiti.export_utils.lean4)

C

conjecture_to_lean4() (in module txgraffiti.export_utils.lean4) ConjecturePlayground (class in txgraffiti.playground.conjecture) conjectures_to_lean() (in module txgraffiti.export_utils.lean4)

convert_columns() (txgraffiti.playground.conjecture.ConjecturePlayground method) convex_hull() (in module txgraffiti.generators.convex_hull) counterexamples() (txgraffiti.playground.conjecture.ForAll method)

D

dalmatian_accept() (in module txgraffiti.heuristics.fajtlowicz)

discover() (txgraffiti.playground.conjecture.ConjecturePlayground method) discover_equalities() (txgraffiti.playground.conjecture.ConjecturePlayground method)

E

Exists (class in txgraffiti.playground.conjecture) exists() (txgraffiti.playground.conjecture.ConjecturePlayground method)

export_conjectures() (txgraffiti.playground.conjecture.ConjecturePlayground method) export_to_lean() (txgraffiti.playground.conjecture.ConjecturePlayground method) extract_equalities() (in module txgraffiti.processing.postprocessors)

F

ForAll (class in txgraffiti.playground.conjecture)

forall() (txgraffiti.playground.conjecture.ConjecturePlayground method)

G

generate() (txgraffiti.playground.conjecture.ConjecturePlayground method)

I

is_strict_subset() (in module txgraffiti.heuristics.davila)

is_true() (txgraffiti.playground.conjecture.Exists method) (txgraffiti.playground.conjecture.ForAll method)

L

linear_programming() (in module txgraffiti.generators.optimization)

list_playgrounds() (in module txgraffiti.playground.registry) load_example_graphs() (in module txgraffiti.example_data)

M

module txgraffiti.example_data txgraffiti.export_utils txgraffiti.export_utils.lean4 txgraffiti.generators.convex_hull txgraffiti.generators.optimization txgraffiti.generators.ratios txgraffiti.heuristics.davila txgraffiti.heuristics.delavina txgraffiti.heuristics.fajtlowicz txgraffiti.playground.conjecture txgraffiti.playground.registry txgraffiti.processing.postprocessors

morgan_accept() (in module txgraffiti.heuristics.davila)

N

necessary_conjecture_to_lean() (in module txgraffiti.export_utils.lean4)

normalize_inequality_key() (in module txgraffiti.heuristics.davila)

P

prop() (txgraffiti.playground.conjecture.ConjecturePlayground method)

R

ratios() (in module txgraffiti.generators.ratios) register_playground() (in module txgraffiti.playground.registry)

remove_duplicates() (in module txgraffiti.processing.postprocessors) reset() (txgraffiti.playground.conjecture.ConjecturePlayground method)

S

same_conclusion() (in module txgraffiti.heuristics.davila) sophie_accept() (in module txgraffiti.heuristics.delavina)

sort_by_accuracy() (in module txgraffiti.processing.postprocessors) sort_by_touch_count() (in module txgraffiti.processing.postprocessors)

T

txgraffiti.example_data module txgraffiti.export_utils module txgraffiti.export_utils.lean4 module txgraffiti.generators.convex_hull module txgraffiti.generators.optimization module txgraffiti.generators.ratios module

txgraffiti.heuristics.davila module txgraffiti.heuristics.delavina module txgraffiti.heuristics.fajtlowicz module txgraffiti.playground.conjecture module txgraffiti.playground.registry module txgraffiti.processing.postprocessors module

W

witness() (txgraffiti.playground.conjecture.Exists method)