https://github.com/utensil/ginac-lean

A work-in-progress Lean 4 binding to GiNaC
https://github.com/utensil/ginac-lean

lean lean4

Last synced: 3 months ago
JSON representation

A work-in-progress Lean 4 binding to GiNaC

• Host: GitHub
• URL: https://github.com/utensil/ginac-lean
• Owner: utensil
• License: other
• Created: 2023-09-18T04:11:45.000Z (about 1 year ago)
• Default Branch: main
• Last Pushed: 2024-06-14T06:18:16.000Z (5 months ago)
• Last Synced: 2024-07-18T19:18:29.992Z (4 months ago)
• Topics: lean, lean4
• Language: Python
• Homepage:
• Size: 630 KB
• Stars: 4
• Watchers: 2
• Forks: 1
• Open Issues: 1
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# GinacLean

[![build](https://github.com/utensil/ginac-lean/actions/workflows/ci.yml/badge.svg)](https://github.com/utensil/ginac-lean/actions/workflows/ci.yml)

A work-in-progress Lean 4 binding to [GiNaC](https://www.ginac.de/), 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](doc/ffi.md) to learn more.

## Development

```bash

lake -R build

# Follow https://pre-commit.com/ to install pre-commit

# pyenv shell 3.11

# brew install pre-commit

# pre-commit install

```