sudgy / math-from-nothing
Developing mathematics in Coq from the ground up
☆18Updated 3 months ago
Related projects ⓘ
Alternatives and complementary repositories for math-from-nothing
- A symbolically optimized and pythonic Clifford (geometric) algebra library named after none other than William Kingdon Clifford.☆45Updated last week
- Julia interface to GAlgebra via PyCall☆14Updated this week
- Mathematica package for Clifford (geometric) algebra calculations☆11Updated 5 months ago
- Awesome Geometric Algebra☆23Updated 4 years ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆50Updated last year
- TbGAL: Tensor-Based Geometric Algebra Library☆27Updated 2 years ago
- Mathematica packages for geometric algebra☆45Updated last year
- Multivectors for geometric algebra☆24Updated 2 years ago
- Latex source for geometric algebra and physics notes.☆34Updated 2 months ago
- Yet another Julia package for working with geometric (or Clifford) algebras.☆22Updated 3 months ago
- Tag-based webview of LaTeX documents☆28Updated 9 months ago
- Generic abstract algebra functionality in pure Julia (no C dependencies)☆55Updated 2 years ago
- Differential forms in Julia☆14Updated 8 months ago
- some maths papers in English☆18Updated last week
- A simple implementation of low-dimensional geometric algebras in Julia.☆12Updated last year
- Lean for the Curious Mathematician 2020☆63Updated last year
- Julia wrapper for The Z3 Theorem Prover (SMT Solver)☆24Updated 7 years ago
- Tensor algebra abstract type interoperability setup☆43Updated this week
- MathTools is a Wolfram Language package that provides the software infrastructure I use for creating typeset mathematical diagrams and eq…☆20Updated 8 months ago
- A math animation engine based on geometric algebra☆19Updated last week
- A basic geometric algebra library in Julia☆12Updated 7 years ago
- A project to digitalise results from high energy physics into Lean.☆75Updated this week
- Matroids in Lean☆18Updated 10 months ago
- Visualisation library for geometric algebra with cefpython and ganja.js☆49Updated 3 years ago
- Wolfram package for Geometric Algebra☆7Updated 3 years ago
- The Complex Number Game. Make the complex numbers in Lean.☆35Updated 2 years ago
- GluCat: Clifford algebra templates☆19Updated 3 months ago
- Clifford algebra for CAS Maxima☆16Updated last year
- Printable (A4) overview of tactics in Lean 4 for beginners☆21Updated 2 months ago
- Formalization of the existence of sphere eversions☆36Updated last month