gap-packages / sgpdec
GAP package for Hierarchical Composition and Decomposition of Permutation Groups and Transformation Semigroups
☆17Updated 2 months ago
Related projects: ⓘ
- GAP package for quivers and path algebras☆30Updated 3 months ago
- Deposited packages of the homalg project☆12Updated 3 weeks ago
- A program for making zooming slides in figma.☆27Updated last month
- The GAP package Semigroups☆23Updated last week
- Implementation of higher-order logic in Python☆56Updated last year
- Very controlled natural language tactics for Lean☆60Updated 7 months ago
- ☆20Updated 3 years ago
- CAP project -- Categories, Algorithms, and Programming☆24Updated this week
- Notes on how to use the internal language of toposes in algebraic geometry☆53Updated last month
- ☆41Updated 4 months ago
- Schemes in Lean (v2)☆42Updated 4 years ago
- Lean for the Curious Mathematician 2020☆63Updated 10 months ago
- A formal proof of the independence of the continuum hypothesis☆115Updated 3 weeks ago
- some maths papers in English☆17Updated 3 weeks ago
- M4 algebraic geometry course in Lean☆58Updated 4 years ago
- Tag-based webview of LaTeX documents☆28Updated 7 months ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆48Updated 10 months ago
- Haskell bindings to SymEngine☆25Updated last year
- Learning Algebraic Varieties from Samples☆24Updated 8 months ago
- Formalizing convex polyhedra in Coq☆21Updated 2 months ago
- Performant and safe knowledge compilation in rust☆21Updated 2 months ago
- A Lean file formatter☆60Updated last year
- Automated Reasoning for the Working Mathematician☆11Updated 5 years ago
- maze game encoded in Lean 4 syntax☆46Updated 2 weeks ago
- Formalization of the existence of sphere eversions☆35Updated 2 weeks ago
- C++ library for semigroups and monoids☆44Updated this week
- Categorical Logic Notes☆72Updated 2 years ago
- ☆15Updated 3 years ago
- lecture notes for Analytic Geometry course☆11Updated 3 years ago
- ☆48Updated 2 years ago