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

Repository navigation

EE598_Chess

Public

About

My coursework for EE598, Winter quarter of 2026.

0 stars

0 watching

Report repository

Name		Name	Last commit message	Last commit date
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

About

My coursework for EE598, Winter quarter of 2026.

0 stars

0 watching

Report repository

Releases

Packages

Contributors

Languages