Alternatives and similar repositories for knottingham:

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

• yishn / jsx-tikzcd
  Render tikzcd diagrams with JSX.
  ☆59Updated 5 years ago
• leanprover-community / lean4web
  The Lean 4 web editor
  ☆84Updated this week
• sudgy / math-from-nothing
  Developing mathematics in Coq from the ground up
  ☆19Updated 7 months ago
• thosgood / maths-dictionary
  multilingual dictionary of mathematical terminology
  ☆19Updated 4 months ago
• teorth / symmetric_project
  ☆86Updated last year
• eric-wieser / lean-matrix-cookbook
  The matrix cookbook, proved in the Lean theorem prover
  ☆100Updated 3 months ago
• leanprover / lean-client-js
  ☆38Updated last year
• kendfrey / rubiks-cube-group
  A formalization of the Rubik's cube group
  ☆27Updated 4 years ago
• robertylewis / mathematica
  Lean-independent implementation of the MM-Lean link
  ☆29Updated 2 years ago
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆112Updated 4 months ago
• mvr / at
  Effective Algebraic Topology in Haskell
  ☆90Updated 6 months ago
• jonsterling / forest
  My mathematical Zettelkasten, created using forester.
  ☆80Updated this week
• kmill / knotfolio
  A program for drawing knots and links, with support for importing images
  ☆29Updated last year
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆53Updated last year
• Lapin0t / grothendieck-cern
  Alexander Grothendieck's 1972 talk at CERN, on scientific research
  ☆57Updated 5 months ago
• ImperialCollegeLondon / FLT
  Ongoing Lean formalisation of the proof of Fermat's Last Theorem
  ☆390Updated this week
• ImperialCollegeLondon / formalising-mathematics-2022
  Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…
  ☆119Updated last year
• HEPLean / PhysLean
  A project to digitalise results from physics into Lean.
  ☆129Updated this week
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆42Updated this week
• PatrickMassot / GlimpseOfLean
  An introduction to theorem proving in Lean for the impatient.
  ☆147Updated last week
• b-mehta / maths-notes
  Lecture notes from Cambridge maths
  ☆66Updated last year
• leanprover-community / tutorials
  Some Lean tutorials
  ☆182Updated last year
• lecopivo / SciLean
  Scientific computing in Lean 4
  ☆375Updated this week
• leanprover-community / lean4game
  Server to host lean games.
  ☆243Updated this week
• rabuf / applied-category-theory
  GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.
  ☆45Updated 6 years ago
• vaibhavkarve / leanteach2020
  Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project
  ☆27Updated 3 years ago
• glacode / yamma
  VSCode extension for Metamath
  ☆10Updated last week
• ImperialCollegeLondon / xena-UROP-2018
  A place to put our 2018 Xena project UROP thoughts and programs.
  ☆25Updated 4 years ago
• leanprover-community / flt-regular
  Fermat's Last Theorem for regular primes
  ☆52Updated this week
• nathancarter / group-explorer
  Group theory visualization software in the browser
  ☆239Updated last year