Home

David Eklund

Symboliq is a symbolic math evaluation and manipulation library for C++ designed for use in proof assistants and symbolic equation solvers.


Project Admins: