GitHub repository: utensil/ginac-lean
Primary language: Python
Created: 2023-09-18T04:11:46Z
Description: A work-in-progress Lean 4 binding to GiNaC