A partial formalization of Geometric Algebra in the Lean formal proof verification system.
0 pipeline runs
No pipelines have been run yet
Get started by configuring CI/CD for this repository
1
Choose a spindle in your repository settings
2
Configure your CI/CD pipeline
3
Trigger a workflow with a push or pull request