Similar repositories to shimsw20/theorem_proving_in_lean4: