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:
- Writing proofs to Twitter since April 2020☆12Updated 3 years ago
- LaTeX Styles provided by Dagstuhl Publishing☆37Updated 10 months ago
- A Lean file formatter☆69Updated 2 years ago
- LaTeX version of Grothendieck's Pursuing Stacks☆51Updated 3 years ago
- L-Functions and Modular Forms Database☆276Updated this week
- CoDi: Commutative Diagrams for TeX☆31Updated 2 months 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
- The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.☆386Updated last week
- Let's translate works of Grothendieck☆28Updated 6 years ago
- A Lean 4 Jupyter kernel via repl☆27Updated 10 months ago
- Safe Init is a Python library that enhances AWS Lambda functions with advanced error handling, logging, monitoring, and resilience featur…☆13Updated last week
- A framework for working with inference rules.☆10Updated 4 years ago
- ☆24Updated last month
- Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit☆80Updated 2 months ago
- This project converts structured Lean code into an interactive browser game.☆77Updated last year
- Tired of needing to come up with synonyms for 'Therefore,' in your mathematical writing? Ponder no longer! This LaTeX package provides a …☆200Updated 8 years ago
- @logicbot@mathstodon.xyz☆21Updated 2 years ago
- A library for computing with Abelian functions, Riemann surfaces, and algebraic curves.☆27Updated this week
- Listing of online math seminars☆43Updated this week
- Converts LaTeX tags to unicode: \mathcal{H} → ℋ. Available on the web or as Automator script for the Mac.☆328Updated last year
- ☆15Updated last year
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆53Updated last year
- Convex optimization modeling in Lean 4☆54Updated last year
- Riemann Hypothesis book☆75Updated 7 years ago
- The matrix cookbook, proved in the Lean theorem prover☆119Updated last week
- 💧 Liquid Tensor Experiment☆206Updated last year
- plasTeX plugin to build formalization blueprints.☆241Updated last week
- ☆166Updated 5 years ago
- Lean 4 tutorial files☆43Updated 3 months ago
- Formalising lecture notes from 1st year Imperial Mathematics course.☆13Updated 5 years ago