semigroups / Semigroups
The GAP package Semigroups
☆24Updated 3 weeks ago
Alternatives and similar repositories for Semigroups:
Users that are interested in Semigroups are comparing it to the libraries listed below
- C++ library for semigroups and monoids☆45Updated this week
- The GAP package Digraphs☆39Updated last week
- CAP project -- Categories, Algorithms, and Programming☆25Updated last week
- Notes on how to use the internal language of toposes in algebraic geometry☆55Updated 2 weeks ago
- An equational theorem prover based on Knuth-Bendix completion☆50Updated 2 weeks ago
- Algebraic Combinatorics in Coq☆38Updated last month
- GAP package for quivers and path algebras☆31Updated last month
- Deposited packages of the homalg project☆13Updated 2 months ago
- Homebrew tap for GAP☆14Updated 9 months ago
- Schemes in Lean (v2)☆43Updated 4 years ago
- M4 algebraic geometry course in Lean☆59Updated 5 years ago
- Multinomials for the Mathematical Components library.☆14Updated 2 weeks ago
- ☆17Updated last year
- A (formalised) general definition of type theories☆57Updated 3 years ago
- Combinatorial species in HoTT☆12Updated 9 years ago
- A formalization of synthetic algebraic geometry in Agda☆14Updated 6 years ago
- An experimental category theory library for Lean☆49Updated last year
- Phd Thesis of Théo Winterhalter. Look at releases to get the latest PDF.☆34Updated 4 years ago
- Ground Zero: Lean 4 HoTT Library☆54Updated 3 months ago
- Native Jupyter kernel for GAP☆19Updated this week
- ☆46Updated last year
- Operad Programming Language in Haskell, by David Darais☆31Updated 10 years ago
- haskell bindings for blas and lapack☆49Updated 7 years ago
- Monadic Constraint Programming framework☆28Updated 6 years ago
- Topos theory in lean☆58Updated 4 years ago
- Algebra Number Theory book☆48Updated 3 years ago
- HoTT in Lean 3☆78Updated 4 years ago
- Partial combinatory algebras and realizability interpretations of arithmetic, in Coq.☆13Updated 7 years ago
- Crowdsourcing project for the database of numbers of isomorphism types of finite groups☆11Updated last year
- HoTT group project to TeXify Cartmell's PhD thesis “Generalised Algebraic Theories and Contextual Categories”☆15Updated last year