Alternatives and similar repositories for CombinatoricsNotes

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

• ml4tp / tcoq
  Modification to Coq to record intermediate proof states encountered during a proof
  ☆8Updated 6 years ago
• chasenorman / Formalized-Voting
  ☆13Updated 3 years ago
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆17Updated 2 years ago
• andrejbauer / mathematics-and-computation
  Andrej Bauer's blog "Mathematics and Computation"
  ☆51Updated last year
• jirilebl / diffyqs
  Notes on Diffy Qs, a textbook for differential equations
  ☆65Updated last week
• mitchkeller / applied-combinatorics
  Applied Combinatorics by Mitchel T. Keller and William T. Trotter
  ☆29Updated last year
• rmcelreath / CES_rater_2021
  Talk rater model for CES 2021 conference
  ☆15Updated 3 years ago
• asouther4 / lean-social-choice
  A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.
  ☆24Updated 3 years ago
• ImperialCollegeLondon / formalising-mathematics-2023
  repository for material for Jan-Mar 2023 course on formalising mathematics
  ☆48Updated last year
• DavidMichaelRoberts / AlgebraicTopology2019
  Course notes for Pure Mathematics Topic D 2019
  ☆53Updated 5 years ago
• PatrickMassot / lean-verbose
  Very controlled natural language tactics for Lean
  ☆64Updated last year
• fpvandoorn / LeanCourse24
  Bonn Lean course for winter 24/25
  ☆31Updated 5 months ago
• gstew5 / games
  ☆10Updated 5 years ago
• mratsim / haskell-numbertheory
  Exploration of primes, factorization and number theory through haskell
  ☆10Updated 8 years ago
• avigad / formal_methods_in_education
  A web page with resources for teaching with formal methods and tools.
  ☆14Updated 2 years ago
• ccshan / prob-school
  Probabilistic Programming (Scottish Programming Languages and Verification Summer School 2019)
  ☆10Updated 5 years ago
• dmurfet / polysemantics
  Polynomial semantics of linear logic
  ☆13Updated 7 years ago
• homalg-project / CAP_project
  CAP project -- Categories, Algorithms, and Programming
  ☆26Updated 2 weeks ago
• leanprover / presentations
  lean-related presentations
  ☆16Updated last year
• avigad / arwm
  Automated Reasoning for the Working Mathematician
  ☆11Updated 5 years ago
• peterlefanulumsdaine / Oberwolfach-explorations
  collaboration on work in progress
  ☆15Updated 14 years ago
• rabuf / applied-category-theory
  GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.
  ☆45Updated 7 years ago
• emilyriehl / 721
  Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021
  ☆47Updated 3 years ago
• sagemath / more-sagemath-tutorials
  More SageMath Tutorials: A place to share and evolve tutorials for Sage, with the aim to contribute them to Sage
  ☆32Updated last year
• dennybritz / probability-monads
  ☆9Updated 2 years ago
• PeterScholze / Analytic
  lecture notes for Analytic Geometry course
  ☆11Updated 3 years ago
• colah / HaskSymb
  An Experiment in Haskell Symbolic Algebra
  ☆73Updated 13 years ago
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆43Updated 4 years ago
• UACalc / uacalcsrc
  The Universal Algebra Calculator
  ☆14Updated 2 years ago
• LS-Lab / Coq-dL
  A formally verified implementation of differential dynamic logic in Coq
  ☆17Updated 3 years ago