Alternatives and similar repositories for CombinatoricsNotes:

Users that are interested in CombinatoricsNotes are comparing it to the libraries listed below

• ImperialCollegeLondon / formalising-mathematics-2023
  repository for material for Jan-Mar 2023 course on formalising mathematics
  ☆48Updated last year
• choener / ADPfusion
  Efficient, high-level dynamic programming
  ☆27Updated last year
• andrejbauer / mathematics-and-computation
  Andrej Bauer's blog "Mathematics and Computation"
  ☆51Updated last year
• rabuf / applied-category-theory
  GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.
  ☆45Updated 6 years ago
• b-mehta / combinatorics
  ☆23Updated 2 years ago
• ml4tp / tcoq
  Modification to Coq to record intermediate proof states encountered during a proof
  ☆7Updated 5 years ago
• CategoricalData / opl
  Operad Programming Language in Haskell, by David Darais
  ☆31Updated 10 years ago
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆17Updated 2 years ago
• TheoWinterhalter / phd-thesis
  Phd Thesis of Théo Winterhalter. Look at releases to get the latest PDF.
  ☆33Updated 4 years ago
• ImperialCollegeLondon / M4P33
  M4 algebraic geometry course in Lean
  ☆59Updated 5 years ago
• rmcelreath / CES_rater_2021
  Talk rater model for CES 2021 conference
  ☆15Updated 3 years ago
• andrejbauer / mathematical-stories
  Mathematical stories
  ☆13Updated 4 years ago
• avigad / arwm
  Automated Reasoning for the Working Mathematician
  ☆11Updated 5 years ago
• homalg-project / CAP_project
  CAP project -- Categories, Algorithms, and Programming
  ☆25Updated 3 weeks ago
• chasenorman / Formalized-Voting
  ☆13Updated 3 years ago
• PapenfussLab / bioshake
  Bioinformatics pipelines with Haskell and Shake
  ☆56Updated 5 years ago
• UniFormal / MMT
  The MMT Language and System
  ☆71Updated 8 months ago
• PBrdng / LearningAlgebraicVarieties.jl
  Learning Algebraic Varieties from Samples
  ☆24Updated last year
• mit-plv / rewriter
  Reflective PHOAS rewriting/pattern-matching-compilation framework for simply-typed equalities and let-lifting
  ☆22Updated 2 weeks ago
• gstew5 / games
  ☆10Updated 5 years ago
• rocq-community / apery
  A formal proof of the irrationality of zeta(3), the Apéry constant [maintainer=@amahboubi,@pi8027]
  ☆20Updated 3 weeks ago
• sinhp / ProofLab
  ☆9Updated last year
• mikeshulman / cohesivett
  Cohesive type theory
  ☆19Updated 3 years ago
• colah / HaskSymb
  An Experiment in Haskell Symbolic Algebra
  ☆72Updated 12 years ago
• dpiponi / provability
  Some tools for provability logic
  ☆37Updated 6 years ago
• prathyvsh / learning-topology
  Resources for making sense of topology and its concepts
  ☆18Updated 4 years ago
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆49Updated 2 years ago
• darijgr / detnotes
  Notes on determinants and other concrete algebra (PRIMES 2015 reading project: problems and solutions)
  ☆13Updated 2 years ago
• ualib / agda-algebras
  The Agda Universal Algebra Library (html docs available at the url below)
  ☆33Updated 3 months ago
• asouther4 / lean-social-choice
  A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.
  ☆24Updated 3 years ago