pygae/lean-ga pygae/lean-ga

  • Stars
    star
    48
  • Rank 591,636 (Top 12 %)
  • Language Lean
  • License
    MIT License
  • Created over 4 years ago
  • Updated 11 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
pygae/lean-ga
github

pygae

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

A partial formalization of Geometric Algebra in the Lean formal proof verification system.

More Repositories

1

clifford

Geometric Algebra for Python
Python
762
star
2

galgebra

Symbolic Geometric Algebra/Calculus package for SymPy 🔮
Python
227
star
3

pyganja

Visualisation library for geometric algebra with cefpython and ganja.js
Python
50
star
4

awesome-geometric-algebra

Awesome Geometric Algebra
TeX
23
star
5

GAlgebra.jl

Julia interface to GAlgebra via PyCall
Jupyter Notebook
14
star
6

cppganja

C++ geometric algebra visualisation via ganja.js
JavaScript
10
star
7

mpl_toolkits.clifford

Matplotlib extensions for clifford compatibility
Python
10
star
8

docs

clifford docs
2
star
9

lean-ga-docs

Documentation for https://github.com/pygae/lean-ga
2
star