Index

C

calc_statistics() (in module proof_data_analysis.statistics)

G

get_num_tests_passed() (in module proof_data_analysis.utils)

L

load_df() (in module proof_data_analysis.utils)

M

module proof_data_analysis.clustering proof_data_analysis.plots proof_data_analysis.statistics proof_data_analysis.utils

P

plot_depth() (in module proof_data_analysis.plots) plot_edits() (in module proof_data_analysis.plots) plot_kmeans_cluster() (in module proof_data_analysis.clustering) plot_letter_count() (in module proof_data_analysis.plots) plot_line_changes() (in module proof_data_analysis.plots) plot_parsable() (in module proof_data_analysis.plots) plot_problem() (in module proof_data_analysis.plots)

proof_data_analysis.clustering module proof_data_analysis.plots module proof_data_analysis.statistics module proof_data_analysis.utils module

T

times_to_seconds() (in module proof_data_analysis.utils)