gap-packages / qpa
GAP package for quivers and path algebras
☆30Updated 3 months ago
Related projects: ⓘ
- ☆9Updated this week
- CAP project -- Categories, Algorithms, and Programming☆24Updated this week
- Notes on how to use the internal language of toposes in algebraic geometry☆53Updated last month
- some maths papers in English☆17Updated 3 weeks ago
- GAP package for Hierarchical Composition and Decomposition of Permutation Groups and Transformation Semigroups☆17Updated 2 months ago
- Schemes in Lean (v2)☆42Updated 4 years ago
- Let's translate works of Grothendieck☆24Updated 5 years ago
- The GAP package Semigroups☆23Updated last week
- Categorical Logic Notes☆72Updated 2 years ago
- LaTeX version of Grothendieck's Pursuing Stacks☆46Updated 2 years ago
- Categorical logic from a categorical point of view☆75Updated 11 months ago
- Formalization of the existence of sphere eversions☆35Updated 2 weeks ago
- A Lean file formatter☆60Updated last year
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆48Updated 10 months ago
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆42Updated 2 weeks ago
- ☆41Updated 4 months ago
- Lean for the Curious Mathematician 2020☆63Updated 10 months ago
- Perfectoid spaces in the Lean formal theorem prover.☆115Updated 2 months ago
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆23Updated 2 years ago
- My basic LaTeX macros and BibTeX file.☆12Updated last year
- Deposited packages of the homalg project☆12Updated 3 weeks ago
- Quantomatic is a tool for doing automated graph rewriting.☆152Updated 4 years ago
- Johan's clone of the cring repository from http://cring.adeel.ru/☆27Updated 11 years ago
- M4 algebraic geometry course in Lean☆58Updated 4 years ago
- Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit☆76Updated 4 months ago
- Formal verification of parts of the Stacks Project in Lean☆21Updated 2 years ago
- CoDi: Commutative Diagrams for TeX☆30Updated 4 months ago
- Kan: A browser extension for reading nLab☆25Updated 5 years ago
- A file-based mirror of the nLab wiki (HTML format).☆23Updated this week
- An experimental category theory library for Lean☆46Updated last year