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 this week
- The GAP package Digraphs☆39Updated this week
- Schemes in Lean (v2)☆43Updated 4 years ago
- CAP project -- Categories, Algorithms, and Programming☆28Updated this week
- An experimental category theory library for Lean☆51Updated last year
- Algebraic Combinatorics in Coq☆38Updated 5 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
- ☆47Updated 2 years ago
- ☆38Updated 2 years ago
- A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.☆25Updated 3 years ago
- Ground Zero: Lean 4 HoTT Library☆62Updated 2 weeks ago
- An equational theorem prover based on Knuth-Bendix completion☆52Updated 2 months ago
- Lean 4 kernel / 'external checker' written in Lean 4☆104Updated 2 weeks ago
- A WIP definitional (co)datatype package for Lean4☆38Updated 6 months ago
- Notes on how to use the internal language of toposes in algebraic geometry☆58Updated this week
- Formalizing convex polyhedra in Coq☆24Updated 11 months ago
- A heuristic procedure for proving inequalities☆33Updated 6 years ago
- ☆17Updated last year
- A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.☆77Updated 2 weeks ago
- Mirror of ocaml-forester☆45Updated last year
- M4 algebraic geometry course in Lean☆59Updated 5 years ago
- LaTeX code for a paper on lean's type theory☆137Updated 2 years ago
- A library of mechanised undecidability proofs in the Coq proof assistant.☆119Updated 2 months ago
- A formalisation of the Calculus of Constructions☆70Updated 11 months ago
- repository for material for Jan-Mar 2023 course on formalising mathematics☆48Updated last year
- Deposited packages of the homalg project☆15Updated last month
- ☆47Updated 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
- Datatypes as quotients of polynomial functors☆36Updated 5 years ago