GitHub - xvade/EE598_Chess: My coursework for EE598, Winter quarter of 2026.

Name		Name	Last commit message	Last commit date
Latest commit History 19 Commits
HW_III_1.lean		HW_III_1.lean
HW_III_2.lean		HW_III_2.lean
HW_III_3.lean		HW_III_3.lean
HW_III_4.lean		HW_III_4.lean
HW_III_5.lean		HW_III_5.lean
HW_III_6.lean		HW_III_6.lean
HW_II_1.lean		HW_II_1.lean
HW_II_2.lean		HW_II_2.lean
HW_II_3.lean		HW_II_3.lean
HW_II_4.lean		HW_II_4.lean
HW_II_5.lean		HW_II_5.lean
HW_IV_1.lean		HW_IV_1.lean
HW_IV_2.lean		HW_IV_2.lean
HW_IV_3.lean		HW_IV_3.lean
HW_I_2.lean		HW_I_2.lean
HW_I_3.lean		HW_I_3.lean
HW_I_4.lean		HW_I_4.lean
HW_VIII_1.lean		HW_VIII_1.lean
messing_around.lean		messing_around.lean
prelude.lean		prelude.lean
sgvtc_submission.lean		sgvtc_submission.lean
tacticmaking.lean		tacticmaking.lean