search

utensil / ginac-lean

A work-in-progress Lean 4 binding to GiNaC
Other
4 stars 1 forks source link
lean lean4

readme

GinacLean

build

A work-in-progress Lean 4 binding to GiNaC, which is an open-source symbolic computation library in C++, it has extensive algebraic capabilities, and has been specifically developed to be an engine for high energy physics applications.

See this doc to learn more.

Development

lake -R build
# Follow https://pre-commit.com/ to install pre-commit
# pyenv shell 3.11
# brew install pre-commit
# pre-commit install