Skip to content
#

mathematics-distillation

Star

Here is 1 public repository matching this topic...

SAIR-MATHEMATICS-DISTILLATION-CHALLENGE

Amey-Thakur / SAIR-MATHEMATICS-DISTILLATION-CHALLENGE

Sponsor
Star 4

Mathematics Distillation Challenge, Equational Theories. Stage 1 cheatsheet and Stage 2 Lean 4 certificate solver for the SAIR Foundation competition.

competition algebra mathematics lean formal-verification knowledge-distillation magma universal-algebra equational-reasoning automated-theorem-proving lean4 counterexamples ameythakur amey sair ameyarc equational-theories amey-thakur mathematics-distillation sair-foundation
  • Updated Aug 31, 2026
  • Lean

Add this topic to your repo

To associate your repository with the mathematics-distillation topic, visit your repo's landing page and select "manage topics."

Learn more