https://github.com/amey-thakur/mathematics-distillation-challenge

algebra algebraic-equations amey ameyarc ameythakur challenge equational-logic equational-programming equational-reasoning equational-theory magma math-olympiad mathematical-programming mathematics prompt-optimization sair sair-lab

Last synced: 07 Apr 2026

https://github.com/oyeb/term-rewriter

CS467 mini project one.

equational-programming haskell term-rewrite

Last synced: 24 Oct 2025