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
- A formal proof of the independence of the continuum hypothesis☆122Updated 6 months ago
- Native Jupyter kernel for GAP☆19Updated 3 months ago
- Crowdsourcing project for the database of numbers of isomorphism types of finite groups☆11Updated last year
- HoTT in Lean 3☆78Updated 4 years ago
- GAP package for quivers and path algebras☆31Updated last month
- Schemes in Lean (v2)☆43Updated 4 years ago
- Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theor…☆27Updated last year
- Jupyter kernels for GAP☆12Updated 7 years ago
- LaTeX version of Grothendieck's Pursuing Stacks☆47Updated 3 years ago
- Nightly builds☆22Updated this week
- CoDi: Commutative Diagrams for TeX☆30Updated 10 months ago
- some maths papers in English☆18Updated 2 weeks ago
- An experimental category theory library for Lean☆49Updated last year
- ☆46Updated last year
- General-Purpose Computer Algebra System as an EDSL in Haskell☆92Updated 6 months ago
- Categorical logic from a categorical point of view☆77Updated last year
- A Lean file formatter☆67Updated 2 years ago
- My basic LaTeX macros and BibTeX file.☆13Updated 2 years ago
- Lean for the Curious Mathematician 2020☆66Updated last year
- A library of mechanised undecidability proofs in the Coq proof assistant.☆115Updated 2 weeks ago
- Johan's clone of the cring repository from http://cring.adeel.ru/☆29Updated 11 years ago
- An equational theorem prover based on Knuth-Bendix completion☆50Updated last week
- ☆17Updated last year
- Perfectoid spaces in the Lean formal theorem prover.☆118Updated 8 months ago
- Algebraic Combinatorics in Coq☆38Updated last month
- Deposited packages of the homalg project☆13Updated 2 months ago