Mathematics Distillation Challenge, Equational Theories. Stage 1 cheatsheet and Stage 2 Lean 4 certificate solver for the SAIR Foundation competition.
Lean Updated about 1 month ago 1 commits 4 stars
pulse-dev|Mirror: Amey-Thakur/SAIR-MATHEMATICS-DISTILLATION-CHALLENGE (⭐4)
about 1 month agoAbout
Mathematics Distillation Challenge, Equational Theories. Stage 1 cheatsheet and Stage 2 Lean 4 certificate solver for the SAIR Foundation competition.
Readme
4 stars