semigroups / Semigroups
The GAP package Semigroups
☆24Updated last month
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☆46Updated this week
- The GAP package Digraphs☆39Updated 2 weeks ago
- Algebraic Combinatorics in Coq☆38Updated 2 months ago
- CAP project -- Categories, Algorithms, and Programming☆25Updated 2 weeks ago
- Homebrew tap for GAP☆14Updated 9 months ago
- Crowdsourcing project for the database of numbers of isomorphism types of finite groups☆11Updated last year
- Deposited packages of the homalg project☆13Updated 2 months ago
- GAP package for Hierarchical Composition and Decomposition of Permutation Groups and Transformation Semigroups☆19Updated last week
- Schemes in Lean (v2)☆43Updated 4 years ago
- An experimental category theory library for Lean☆49Updated last year
- HoTT in Lean 3☆78Updated 4 years ago
- Notes on how to use the internal language of toposes in algebraic geometry☆55Updated 3 weeks ago
- GAP package for quivers and path algebras☆31Updated last month
- ☆46Updated last year
- Homotopy theory in Coq.☆92Updated 13 years ago
- Fast combinatorics in C++ using SSE/AVX instruction sets☆15Updated 2 weeks ago
- Multinomials for the Mathematical Components library.☆14Updated 3 weeks ago
- M4 algebraic geometry course in Lean☆59Updated 5 years ago
- ☆22Updated 2 years ago
- An equational theorem prover based on Knuth-Bendix completion☆50Updated 3 weeks ago
- A formal proof of the independence of the continuum hypothesis☆122Updated 6 months ago
- Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.☆83Updated 4 years ago
- The formal proof of the Odd Order Theorem☆30Updated 3 weeks ago
- CoDi: Commutative Diagrams for TeX☆30Updated 10 months ago
- Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]☆89Updated last month
- Basic package manager for GAP☆12Updated last week
- A (formalised) general definition of type theories☆57Updated 3 years ago
- Perfectoid spaces in the Lean formal theorem prover.☆118Updated 8 months ago
- A library of mechanised undecidability proofs in the Coq proof assistant.☆115Updated 3 weeks ago
- Lean for the Curious Mathematician 2020☆66Updated last year