semigroups / SemigroupsLinks
The GAP package Semigroups
☆26Updated last month
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 this week
- The GAP package Digraphs☆39Updated last month
- CAP project -- Categories, Algorithms, and Programming☆26Updated 2 weeks ago
- An experimental category theory library for Lean☆51Updated last year
- Schemes in Lean (v2)☆43Updated 4 years ago
- ☆46Updated 2 years ago
- An equational theorem prover based on Knuth-Bendix completion☆50Updated 2 months ago
- A heuristic procedure for proving inequalities☆33Updated 6 years ago
- Ground Zero: Lean 4 HoTT Library☆61Updated this week
- An encyclopedia of proofs☆60Updated 6 months ago
- HoTT in Lean 3☆80Updated 4 years ago
- The opentheory tool processes higher order logic theory packages☆16Updated 2 years ago
- Algebraic Combinatorics in Coq☆38Updated 4 months ago
- Mirror of ocaml-forester☆45Updated 11 months ago
- Multinomials for the Mathematical Components library.☆14Updated last month
- Lean for the Curious Mathematician 2020☆66Updated last year
- Notes on how to use the internal language of toposes in algebraic geometry☆58Updated last month
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition☆50Updated 3 years ago
- Lean 4 bindings to libcurl☆11Updated 4 months 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
- A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.☆24Updated 3 years ago
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2022 edition☆19Updated 2 years ago
- Deposited packages of the homalg project☆14Updated last month
- A gentle introduction to Isabelle and Isabelle/HOL☆12Updated 2 months ago
- ☆47Updated last year
- ☆38Updated 2 years ago
- A prototype for a monadic program logic in Lean☆33Updated this week
- Homebrew tap for GAP☆14Updated 11 months ago
- A (formalised) general definition of type theories☆57Updated 3 years ago
- formalization of theorems of higher algebraic K-theory☆8Updated 11 years ago