gap-packages / sgpdecLinks
GAP package for Hierarchical Composition and Decomposition of Permutation Groups and Transformation Semigroups
☆19Updated last month
Alternatives and similar repositories for sgpdec
Users that are interested in sgpdec are comparing it to the libraries listed below
Sorting:
- Convex optimization modeling in Lean 4☆55Updated last year
- Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)☆85Updated 7 months ago
- The GAP package Semigroups☆27Updated 2 weeks ago
- Conservative floating point interval arithmetic in Lean☆22Updated 3 weeks ago
- Building dynamical systems compositionally☆73Updated last week
- CAP project -- Categories, Algorithms, and Programming☆36Updated 3 weeks ago
- A template for blueprint-driven formalization projects in Lean.☆76Updated 3 weeks ago
- Python talking to the Lean theorem prover☆46Updated 4 years ago
- ☆51Updated 3 years ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆53Updated last year
- Fermat's Last Theorem for regular primes☆61Updated this week
- ☆51Updated last year
- Lean for the Curious Mathematician 2020☆67Updated last year
- Very controlled natural language tactics for Lean☆64Updated last year
- ☆16Updated 4 years ago
- A Lean file formatter☆69Updated 2 years ago
- Build Petri net models compositionally☆88Updated last month
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆30Updated 3 years ago
- Formalization of the existence of sphere eversions☆43Updated last month
- Notes on how to use the internal language of toposes in algebraic geometry☆59Updated 3 weeks ago
- GAP package for quivers and path algebras☆33Updated this week
- ☆22Updated last year
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆48Updated last week
- A Lean 4 Jupyter kernel via repl☆27Updated 10 months ago
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition☆51Updated 4 years ago
- Implementation of higher-order logic in Python☆65Updated 2 years ago
- Schemes in Lean (v2)☆44Updated 5 years ago
- ☆19Updated last week
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆121Updated last year
- A tool for building Lean4 .olean files from Lean3 export data☆10Updated 4 years ago