Name		Name	Last commit message	Last commit date
Latest commit History 5 Commits
_target/deps		_target/deps
src_icannos_totilas		src_icannos_totilas
.DS_Store		.DS_Store
AIME_2021_3.lean		AIME_2021_3.lean
AIME_2021_I_14.lean		AIME_2021_I_14.lean
AIME_2021_I_5.lean		AIME_2021_I_5.lean
AMC_2021_A_18.lean		AMC_2021_A_18.lean
AMC_2021_A_19.lean		AMC_2021_A_19.lean
AMC_2021_A_22.lean		AMC_2021_A_22.lean
AMC_2021_A_25.lean		AMC_2021_A_25.lean
AMC_2021_A_4.lean		AMC_2021_A_4.lean
AMC_2021_A_7.lean		AMC_2021_A_7.lean
IMO_2006_Pb_4.lean		IMO_2006_Pb_4.lean
IMO_2007_Pb_5.lean		IMO_2007_Pb_5.lean
IMO_2008_Pb_4.lean		IMO_2008_Pb_4.lean
README.md		README.md
leanpkg.path		leanpkg.path
leanpkg.toml		leanpkg.toml