Alternatives and similar repositories for Semigroups

Users that are interested in Semigroups are comparing it to the libraries listed below

• libsemigroups / libsemigroups
  C++ library for semigroups and monoids
  ☆47Updated this week
• digraphs / Digraphs
  The GAP package Digraphs
  ☆39Updated last month
• homalg-project / CAP_project
  CAP project -- Categories, Algorithms, and Programming
  ☆26Updated 2 weeks ago
• kim-em / lean-category-theory
  An experimental category theory library for Lean
  ☆51Updated last year
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆43Updated 4 years ago
• cmu-phil / Spectral
  ☆46Updated 2 years ago
• nick8325 / twee
  An equational theorem prover based on Knuth-Bendix completion
  ☆50Updated 2 months ago
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆33Updated 6 years ago
• rzrn / ground_zero
  Ground Zero: Lean 4 HoTT Library
  ☆61Updated this week
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆60Updated 6 months ago
• gebner / hott3
  HoTT in Lean 3
  ☆80Updated 4 years ago
• gilith / opentheory
  The opentheory tool processes higher order logic theory packages
  ☆16Updated 2 years ago
• math-comp / Coq-Combi
  Algebraic Combinatorics in Coq
  ☆38Updated 4 months ago
• jonsterling / ocaml-forester
  Mirror of ocaml-forester
  ☆45Updated 11 months ago
• math-comp / multinomials
  Multinomials for the Mathematical Components library.
  ☆14Updated last month
• leanprover-community / lftcm2020
  Lean for the Curious Mathematician 2020
  ☆66Updated last year
• iblech / internal-methods
  Notes on how to use the internal language of toposes in algebraic geometry
  ☆58Updated last month
• IPDSnelting / tba-2021
  Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition
  ☆50Updated 3 years ago
• bergmannjg / leanCurl
  Lean 4 bindings to libcurl
  ☆11Updated 4 months ago
• andrejbauer / alg
  Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.
  ☆85Updated 4 years ago
• asouther4 / lean-social-choice
  A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.
  ☆24Updated 3 years ago
• IPDSnelting / tba-2022
  Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2022 edition
  ☆19Updated 2 years ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆14Updated last month
• gteege / gentle-isabelle
  A gentle introduction to Isabelle and Isabelle/HOL
  ☆12Updated 2 months ago
• DavidJaz / DynamicalSystemsBook
  ☆47Updated last year
• leanprover / lean-client-js
  ☆38Updated 2 years ago
• sgraf812 / mpl
  A prototype for a monadic program logic in Lean
  ☆33Updated this week
• gap-system / homebrew-gap
  Homebrew tap for GAP
  ☆14Updated 11 months ago
• peterlefanulumsdaine / general-type-theories
  A (formalised) general definition of type theories
  ☆57Updated 3 years ago
• DanGrayson / Ktheory
  formalization of theorems of higher algebraic K-theory
  ☆8Updated 11 years ago