Symbolic Geometric Algebra/Calculus package for SymPy 🔮

EGraphs in OCaml

Software Foundations

Tool for data extraction and interacting with Lean programmatically.

pandoc-like tool for symbolic regression expressions

A deep learning framework for symbolic optimization.

This coq library aims to formalize a substantial body of mathematics using the univalent point of view.