Alternatives and similar repositories for theory.report:

Users that are interested in theory.report are comparing it to the libraries listed below

• rschwiebert / RingApp
  A database app for ring theory
  ☆21Updated this week
• stone-zeng / latex-emoji
  Emoji support in (Lua)LaTeX
  ☆70Updated last year
• dasarpmar / lowerbounds-survey
  A survey of known lower bounds in arithmetic circuits.
  ☆29Updated 2 years ago
• darijgr / detnotes
  Notes on determinants and other concrete algebra (PRIMES 2015 reading project: problems and solutions)
  ☆12Updated 2 years ago
• muzimuzhi / thmtools
  New home for LaTeX package bundle thmtools
  ☆19Updated 3 months ago
• aisejohan / cring
  Johan's clone of the cring repository from http://cring.adeel.ru/
  ☆29Updated 11 years ago
• sagemath / cypari2
  Python interface to the number theory library PARI/GP. Source repository for https://pypi.org/project/cypari2/
  ☆30Updated last month
• roed314 / seminars
  Listing of online math seminars
  ☆42Updated 5 months ago
• PermutaTriangle / comb_spec_searcher
  a Python library for combinatorial exploration
  ☆12Updated last month
• samcarter / tikzlings
  Collection of animals and other beings drawn in TikZ
  ☆92Updated 3 weeks ago
• leanprover-community / lean-liquid
  💧 Liquid Tensor Experiment
  ☆188Updated last year
• ImperialCollegeLondon / formalising-mathematics-2024
  Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.
  ☆191Updated 3 weeks ago
• sleepymalc / How2LaTeX
  📃 A compact guide to help you write professional LaTeX documents
  ☆58Updated 2 years ago
• automorphic-project / automorphic-project
  All the math/tex files for the Automorphic Project
  ☆18Updated 9 months ago
• abetten / orbiter
  Classification of combinatorial objects
  ☆16Updated last week
• MathBases / MathBases
  ☆18Updated 2 weeks ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆242Updated 3 weeks ago
• mit6875 / mit6875.github.io
  MIT 6.875
  ☆13Updated last year
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆32Updated last year
• rbeezer / fcla
  "A First Course in Linear Algebra" open source textbook
  ☆67Updated 4 months ago
• km-git-acc / dbn_upper_bound
  Computational effort to upper bound the de Bruijn-Newman constant as part of a Polymath project
  ☆13Updated last year
• cnewstead / infdesc
  An Infinite Descent into Pure Mathematics
  ☆42Updated 4 years ago
• PatrickMassot / GlimpseOfLean
  An introduction to theorem proving in Lean for the impatient.
  ☆130Updated 3 months ago
• leanprover / elan
  The Lean version manager
  ☆340Updated 2 weeks ago
• sonoisa / XyJax-v3
  Xy-pic extension for MathJax version 3
  ☆36Updated 2 years ago
• marcodaniel / mdframed
  auto-split frame environment for LaTeX
  ☆66Updated last year
• AMouri / artin-algebra
  Solutions to Algebra, by Michael Artin.
  ☆33Updated 8 years ago
• chrisheunen / freetikz
  FreeTikZ
  ☆37Updated 7 years ago
• Aunsiels / pyformlang
  A python library to manipulate formal languages and various automata
  ☆47Updated 3 months ago
• PierreSenellart / apxproof
  LaTeX package for automatically putting proof environments in appendix
  ☆24Updated last year