PermutaTriangle / PermutaLinks
A native Python library for permutation pattern research
☆16Updated 2 months ago
Alternatives and similar repositories for Permuta
Users that are interested in Permuta are comparing it to the libraries listed below
Sorting:
- LaTeX Styles provided by Dagstuhl Publishing☆37Updated 7 months ago
- A formal proof of the independence of the continuum hypothesis☆126Updated 9 months ago
- A DSL for the internal language of a topos☆64Updated last week
- ☆15Updated last year
- A program for making zooming slides in figma.☆37Updated 2 months ago
- Notes on determinants and other concrete algebra (PRIMES 2015 reading project: problems and solutions)☆16Updated 2 years ago
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆120Updated last year
- Cross-referencing system for LaTeX, inspired with RDF☆16Updated 6 months ago
- Digital images used as illustrations in the Open Logic Project☆6Updated 8 years ago
- plasTeX plugin to build formalization blueprints.☆219Updated 3 weeks ago
- lecture notes for Analytic Geometry course☆11Updated 3 years ago
- Formalization of the existence of sphere eversions☆42Updated this week
- This project converts structured Lean code into an interactive browser game.☆76Updated last year
- a Python library for combinatorial exploration☆12Updated last month
- LaTeX version of Grothendieck's Pursuing Stacks☆49Updated 3 years ago
- Formal verification of parts of the Stacks Project in Lean☆22Updated 3 years ago
- Notes on how to use the internal language of toposes in algebraic geometry☆58Updated last month
- A LaTeX Typesetting Game☆249Updated 2 months ago
- The matrix cookbook, proved in the Lean theorem prover☆106Updated this week
- Formalization of Statement of Local Langlands Correspondence for Tori☆11Updated 6 years ago
- Convex optimization modeling in Lean 4☆46Updated last year
- A Lean 4 Jupyter kernel via repl☆26Updated 6 months ago
- 💧 Liquid Tensor Experiment☆196Updated last year
- Metamath verifier in Python☆39Updated last year
- Notes on the algebra courses taught by Jens Franke at the university of Bonn beginning in the summer semester 2017☆16Updated 3 years ago
- Catalog Of Math Problems Formalized In Lean☆162Updated this week
- CoDi: Commutative Diagrams for TeX☆31Updated last year
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition☆50Updated 3 years ago
- Let's translate works of Grothendieck☆25Updated 5 years ago
- A wiki for collaborative work on totally legitimate "category theory"☆112Updated 11 months ago