Plotting

proof_data_analysis.plots.plot_depth(df: DataFrame, four=False) → None

Plot edit depth over time.

Parameters

four – If true, divide depth by 4 to get the number of indents.

depth text
proof_data_analysis.plots.plot_edits(df: DataFrame, ax1=None, id: str = '') → Tuple[axes, axes]

Plot the number of edits, as well as tests passing over time.

edits text
proof_data_analysis.plots.plot_letter_count(df: DataFrame) → None

Plot a bar graph of the number of times each letter was typed.

letter_count text
proof_data_analysis.plots.plot_line_changes(df: DataFrame) → None

Plot the number of line changes over time.

line_changes text
proof_data_analysis.plots.plot_parsable(df: DataFrame) → None

Plot parsability over time.

parsable text
proof_data_analysis.plots.plot_problem(df: DataFrame, problem: str) → None

Show multiple plots of different completions of the same problem.

Parameters

problem – Problem ID to plot, e.g. 6377c2b06f4750d88ff2a7b4

multi_problem text