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
  ☆97Updated 3 weeks ago
• leanprover / lean-client-js
  ☆38Updated 2 years ago
• leanprover-community / tutorials
  Some Lean tutorials
  ☆184Updated last year
• mjgrzymek / PeanoScript
  TypeScript-like theorem prover
  ☆40Updated 2 months ago
• eric-wieser / lean-matrix-cookbook
  The matrix cookbook, proved in the Lean theorem prover
  ☆112Updated last month
• Ivan-Sergeyev / seymour
  This project is about formally verifying Seymour's decomposition theorem for regular matroids.
  ☆29Updated 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
• leanprover-community / tutorials4
  Lean 4 tutorial files
  ☆39Updated last month
• ImperialCollegeLondon / formalising-mathematics-2024
  Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.
  ☆219Updated 3 months ago
• leanprover-community / ProofWidgets4
  Helper toolkit for creating your own Lean 4 UserWidgets
  ☆146Updated 2 weeks ago
• thosgood / maths-dictionary
  multilingual dictionary of mathematical terminology
  ☆19Updated last week
• ImperialCollegeLondon / M1F-explained
  A computer formalisation of parts of Martin Liebeck's book "a concise introduction to pure mathematics"
  ☆11Updated last year
• jonsterling / forest
  My mathematical Zettelkasten, created using forester. Moved to sourcehut.
  ☆88Updated last month
• b-mehta / formalising-mathematics-notes
  Course notes for Formalising Mathematics 2025
  ☆54Updated this week
• lecopivo / scientific-computing-lean
  work in progress book on Scientific Computing in Lean
  ☆13Updated 4 months ago
• MiniZinc / minizinc-js
  Use MiniZinc in the browser or with NodeJS
  ☆41Updated last month
• joshuahhh / knot-identification-tool
  JavaScript knot drawing and identification tool
  ☆10Updated 8 years ago
• leanprover / lean4checker
  Replay the `Environment` for a given Lean module, ensuring that all declarations are accepted by the kernel.
  ☆25Updated 2 weeks ago
• Paper-Proof / paperproof
  Lean theorem proving interface which feels like pen-and-paper proofs.
  ☆425Updated last week
• ImperialCollegeLondon / M40001_lean
  Lean 3 material related to Imperial College's "Introduction to University Mathematics" course
  ☆161Updated last year
• ImperialCollegeLondon / xena-UROP-2018
  A place to put our 2018 Xena project UROP thoughts and programs.
  ☆25Updated 5 years ago
• kendfrey / rubiks-cube-group
  A formalization of the Rubik's cube group
  ☆27Updated 4 years ago
• kmill / knotfolio
  A program for drawing knots and links, with support for importing images
  ☆32Updated last year
• b-mehta / maths-notes
  Lecture notes from Cambridge maths
  ☆68Updated last year
• adyavanapalli / natural-number-game-solutions
  Solutions to Imperial College London's Natural Number Game, a gamified formal mathematics course on the Peano axioms using an interactive…
  ☆21Updated 3 years ago
• vihdzp / combinatorial-games
  Combinatorial game library in Lean 4
  ☆36Updated this week
• ubavic / awesome-interactive-math
  A curated list of tools that can be used for creating interactive mathematical explorables.
  ☆220Updated 8 months ago
• nathancarter / group-explorer
  Group theory visualization software in the browser
  ☆253Updated last year
• teorth / pfr
  Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
  ☆179Updated 2 weeks ago