Path	Lines of Code
src/basic/control.lean	132
src/basic/list.lean	139
src/basic/table.lean	198
src/repl.lean	502
src/tools/filter_decls.lean	52
src/tools/shrink_proof.lean	86
src/tools/try_finish.lean	28
src/util/io.lean	51
src/util/tactic.lean	130
src/util/util.lean	41