Alternatives and similar repositories for TNT:

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

• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆36Updated 9 months ago
• breandan / picograd
  🦠 AD in less than 20 lines
  ☆53Updated 3 years ago
• liuyj8526 / Computation-of-Elliptic-Units
  We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…
  ☆32Updated 3 years ago
• Alex-Linhares / Knuths-O-Calculus
  Maybe the open-source community can write Donald Knuth's O Calculus book?
  ☆11Updated 6 years ago
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated last month
• LogicalAtomist / principia
  The Principia Rewrite
  ☆209Updated last month
• billwadge / pyLucid
  Book lucid interpreter written in python
  ☆24Updated 5 years ago
• jakebian / kan
  Kan: A browser extension for reading nLab
  ☆26Updated 6 years ago
• adamnemecek / adjoint
  Thoughts on adjoint, norm and such.
  ☆166Updated 2 years ago
• kedlaya / math157
  ☆41Updated 3 years ago
• glacode / yamma
  VSCode extension for Metamath
  ☆9Updated this week
• fredrik-johansson / fungrim
  Fungrim: the Mathematical Functions Grimoire
  ☆118Updated 2 years ago
• apnelson1 / lean-matroids
  Matroids in Lean
  ☆18Updated last year
• epatters / Catlab.jl
  A framework for applied category theory in the Julia language
  ☆18Updated 3 months ago
• williamstein / rh
  Riemann Hypothesis book
  ☆74Updated 7 years ago
• colah / HaskSymb
  An Experiment in Haskell Symbolic Algebra
  ☆72Updated 12 years ago
• b-mehta / combinatorics
  ☆22Updated 2 years ago
• ImperialCollegeLondon / M4P33
  M4 algebraic geometry course in Lean
  ☆58Updated 4 years ago
• ncatlab / nlab-content
  A file-based mirror of the nLab wiki (Markdown+itex2MML format).
  ☆24Updated this week
• j2kun / riemann-divisor-sum
  Code for the series "Searching for Riemann Hypothesis Counterexamples"
  ☆21Updated last year
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆37Updated 8 years ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆12Updated 3 weeks ago
• khinsen / leibniz-pharo
  Leibniz - a Digital Scientific Notation
  ☆33Updated last week
• leanprover / theorem_proving_in_lean
  Theorem proving in Lean
  ☆48Updated 2 months ago
• lanl / McPhD
  A Parallel Haskell framework for particle-based Monte Carlo simulations
  ☆13Updated 5 years ago
• impermeable / waterproof
  Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instru…
  ☆41Updated 10 months ago
• mmasdeu / topologygame
  Learn Lean and topology
  ☆21Updated last year
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆20Updated 2 months ago
• ImperialCollegeLondon / m1fexplained_lean3
  A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"
  ☆13Updated last year
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆42Updated this week