#

equational-programming

Here are 2 public repositories matching this topic...

SAIR-MATHEMATICS-DISTILLATION-CHALLENGE

Amey-Thakur / SAIR-MATHEMATICS-DISTILLATION-CHALLENGE

Mathematics Distillation Challenge - Equational Theories - Stage1 & Stage 2

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

Updated Jul 28, 2026
Lean

oyeb / term-rewriter

CS467 mini project one.

haskell equational-programming term-rewrite

Updated Mar 5, 2020
Haskell

Improve this page

Add a description, image, and links to the equational-programming topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

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