semigroups / SemigroupsLinks
The GAP package Semigroups
☆26Updated this week
Alternatives and similar repositories for Semigroups
Users that are interested in Semigroups are comparing it to the libraries listed below
Sorting:
- C++ library for semigroups and monoids☆47Updated last week
- CAP project -- Categories, Algorithms, and Programming☆28Updated this week
- Homebrew tap for GAP☆14Updated last year
- Notes on how to use the internal language of toposes in algebraic geometry☆59Updated 3 weeks ago
- GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.☆45Updated 7 years ago
- Schemes in Lean (v2)☆43Updated 4 years ago
- Lean for the Curious Mathematician 2020☆67Updated last year
- The GAP package Digraphs☆39Updated 3 weeks ago
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆56Updated 10 years ago
- An experimental category theory library for Lean☆51Updated last year
- Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theor…☆27Updated last year
- Algebra Number Theory book☆48Updated 3 years ago
- ☆49Updated last year
- Perfectoid spaces in the Lean formal theorem prover.☆125Updated last year
- A formal proof of the independence of the continuum hypothesis☆129Updated 10 months ago
- A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.☆26Updated 3 years ago
- An encyclopedia of proofs☆60Updated 8 months ago
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆49Updated last week
- ☆47Updated 2 years ago
- GAP package for quivers and path algebras☆32Updated 3 weeks ago
- repository for material for Jan-Mar 2023 course on formalising mathematics☆48Updated last year
- The MMT Language and System☆75Updated 11 months ago
- HoTT in Lean 3☆80Updated 4 years ago
- Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.☆85Updated 4 years ago
- An equational theorem prover based on Knuth-Bendix completion☆52Updated last week
- My undergradate thesis on coinductive types in univalent type theory☆17Updated 7 years ago
- A graphical editor for graph-like structures☆99Updated last year
- Quantomatic is a tool for doing automated graph rewriting.☆165Updated 5 years ago
- CoDi: Commutative Diagrams for TeX☆31Updated last year
- An experimental Agda kernel for Jupyter☆24Updated 3 years ago