Alternatives and similar repositories for SampleMathPaper

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

• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆28Updated last year
• b-mehta / maths-notes
  Lecture notes from Cambridge maths
  ☆68Updated last year
• madvorak / lean4-cheatsheet
  Printable (A4) overview of tactics in Lean 4 for beginners
  ☆24Updated 7 months ago
• awodey / math
  Mathematical notes and papers
  ☆26Updated this week
• PatrickMassot / lean-verbose
  Very controlled natural language tactics for Lean
  ☆63Updated last year
• ImperialCollegeLondon / M4P33
  M4 algebraic geometry course in Lean
  ☆59Updated 5 years ago
• Vilin97 / linear-algebra-done-right
  ☆10Updated 2 years ago
• ImperialCollegeLondon / complex-number-game
  The Complex Number Game. Make the complex numbers in Lean.
  ☆38Updated 2 years ago
• DavidMichaelRoberts / AlgebraicTopology2019
  Course notes for Pure Mathematics Topic D 2019
  ☆53Updated 5 years ago
• andrejbauer / mathematics-and-computation
  Andrej Bauer's blog "Mathematics and Computation"
  ☆51Updated last year
• leanprover-community / doc-gen
  Generate HTML documentation for mathlib and Lean
  ☆21Updated 7 months ago
• leanprover-community / leanprover-community.github.io
  Hosts the website for mathlib and other Lean community infrastructure.
  ☆62Updated this week
• AnthonyBordg / Isabelle_marries_Dirac
  A certified library of quantum computing using the proof assistant Isabelle
  ☆8Updated 5 years ago
• dcernst / IBL-AbstractAlgebra
  IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.
  ☆73Updated last year
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆51Updated 2 years ago
• ImperialCollegeLondon / group-theory-game
  Building group theory from scratch in Lean
  ☆59Updated 4 years ago
• rocq-community / topology
  General topology in Coq [maintainers=@amiloradovsky,@Columbus240,@stop-cran]
  ☆48Updated 6 months ago
• leanprover / reservoir
  Package registry for Lean/Lake.
  ☆18Updated 2 weeks ago
• leanprover-community / sphere-eversion
  Formalization of the existence of sphere eversions
  ☆40Updated last week
• bollu / notes
  Latex notes on papers, courses, ideas: Pure math and computer science.
  ☆61Updated last year
• diracdeltafunk / SmallCategories
  A database of small finite categories
  ☆14Updated last year
• byorgey / comprog-hs
  Competitive programming utilities in Haskell
  ☆30Updated 4 months ago
• kmill / knotfolio
  A program for drawing knots and links, with support for importing images
  ☆31Updated last year
• math-comp / odd-order
  The formal proof of the Odd Order Theorem
  ☆30Updated 3 weeks ago
• ImperialCollegeLondon / formalising-mathematics-2023
  repository for material for Jan-Mar 2023 course on formalising mathematics
  ☆48Updated last year
• djvelleman / HTPILeanPackage
  ☆30Updated this week
• leanprover / fp-lean
  Functional Programming in Lean
  ☆78Updated this week
• lclem / agda-kernel
  An experimental Agda kernel for Jupyter
  ☆24Updated 3 years ago
• paolobrasolin / commutative-diagrams
  CoDi: Commutative Diagrams for TeX
  ☆31Updated last year
• b-mehta / combinatorics
  ☆23Updated 2 years ago