gap-packages / sgpdecLinks
GAP package for Hierarchical Composition and Decomposition of Permutation Groups and Transformation Semigroups
☆19Updated 2 months ago
Alternatives and similar repositories for sgpdec
Users that are interested in sgpdec are comparing it to the libraries listed below
Sorting:
- Building dynamical systems compositionally☆70Updated 7 months ago
- Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)☆84Updated 2 months ago
- A graphical editor for graph-like structures☆97Updated last year
- ☆49Updated 2 years ago
- A collaborative environment for formal, interoperable, conceptual modeling☆78Updated this week
- Implementation of higher-order logic in Python☆65Updated 2 years ago
- Lean for the Curious Mathematician 2020☆66Updated last year
- Very controlled natural language tactics for Lean☆64Updated last year
- ☆47Updated last year
- Conservative floating point interval arithmetic in Lean☆16Updated last month
- A Haskell probabilistic programming library.☆19Updated last month
- Convex optimization modeling in Lean 4☆46Updated last year
- Learning Algebraic Varieties from Samples☆24Updated last year
- lecture notes for Analytic Geometry course☆11Updated 3 years ago
- GAP package for quivers and path algebras☆31Updated last week
- CAP project -- Categories, Algorithms, and Programming☆26Updated 2 weeks ago
- Template for blueprint-driven formalization projects in Lean.☆54Updated this week
- A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.☆24Updated 3 years ago
- ☆12Updated 2 years ago
- Jupyter notebook for the Lean4 programming language☆24Updated 3 years ago
- some maths papers in English☆18Updated 2 months ago
- Python talking to the Lean theorem prover☆44Updated 3 years ago
- ☆10Updated this week
- Lean-independent implementation of the MM-Lean link☆30Updated 2 years ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆53Updated last year
- Build Petri net models compositionally☆83Updated 7 months ago
- A tool to auto-generate and render slides from Markdown comments in the Lean editor.☆18Updated last month
- Mathport is a tool for porting Lean3 projects to Lean4☆44Updated 6 months ago
- Lean mathzoo☆24Updated 3 years ago
- ☆14Updated 4 years ago