A
algebra

Projects with this topic

View Carriage project

Carson Derda / Carriage

Step-level algebra autograder (Python/SymPy) → teacher Excel. Built for K–12 classrooms.

Math teachers save hours grading without losing insight. Carriage: Piloting Fall 2026

Python sympy edtech grading automated gr... mathematics algebra

0

Updated Jul 28, 2026

0 0 0 0

Updated Jul 28, 2026
View heytinget project

Renato Reis Leme / heytinget

Find intuitionistic counter-models for classical tautologies.

logic mathematics heyting algebra

0

Updated Jan 13, 2021

0 0 0 0

Updated Jan 13, 2021
View funwithmaths project

Fernando Porres / funwithmaths

Python math algebra

0

Updated Jul 08, 2019

0 0 0 0

Updated Jul 08, 2019