nimaanari / theory.report
Theory of Computing Report
☆12Updated last month
Related projects ⓘ
Alternatives and complementary repositories for theory.report
- A database app for ring theory☆21Updated last month
- A survey of known lower bounds in arithmetic circuits.☆27Updated 2 years ago
- Emoji support in (Lua)LaTeX☆66Updated 11 months ago
- New home for LaTeX package bundle thmtools☆18Updated this week
- All the math/tex files for the Automorphic Project☆18Updated 5 months ago
- Notes on determinants and other concrete algebra (PRIMES 2015 reading project: problems and solutions)☆12Updated 2 years ago
- Source files for https://web.evanchen.cc☆43Updated this week
- Python interface to the number theory library PARI/GP. Source repository for https://pypi.org/project/cypari2/☆30Updated last month
- 📃 A compact guide to help you write professional LaTeX documents☆57Updated last year
- 💧 Liquid Tensor Experiment☆180Updated 9 months ago
- A browser extension to convert TeX to Unicode in browser inputs.☆59Updated last year
- Xy-pic extension for MathJax version 3☆35Updated 2 years ago
- Johan's clone of the cring repository from http://cring.adeel.ru/☆27Updated 11 years ago
- Formalisation of the Kelley-Meka bound on Roth numbers☆15Updated this week
- The Lean version manager☆316Updated this week
- A community database of topological counterexamples☆72Updated this week
- Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.☆121Updated 3 months ago
- Theorem Proving in Lean 4☆160Updated 3 weeks ago
- Tool-box for LaTeX programmers using e-TeX☆41Updated 8 months ago
- Customize enumerate, itemize and description☆48Updated 5 months ago
- An introduction to theorem proving in Lean for the impatient.☆106Updated this week
- Listing of online math seminars☆41Updated 2 months ago
- A LaTeX Typesetting Game☆241Updated 6 months ago
- HTML version of pgf-tikz documentation☆42Updated 3 weeks ago
- Olympiad problem database☆44Updated last week
- Translate LaTeX or TeX math markup to typst☆25Updated this week
- Collection of animals and other beings drawn in TikZ☆90Updated last month
- "A First Course in Linear Algebra" open source textbook☆65Updated last month
- Mathematical tools to use with amsmath☆58Updated last month
- Repository for the QED interactive text and possible extensions☆96Updated 5 years ago