Alternatives and similar repositories for knottingham:

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

• leanprover-community / lean4web
  The Lean 4 web editor
  ☆76Updated this week
• PatrickMassot / GlimpseOfLean
  An introduction to theorem proving in Lean for the impatient.
  ☆123Updated 2 months ago
• kmill / knotfolio
  A program for drawing knots and links, with support for importing images
  ☆29Updated last year
• leanprover / lean-client-js
  ☆34Updated last year
• LiamMcAllisterGroup / cytools
  A software package for analyzing Calabi-Yau manifolds.
  ☆31Updated 2 months ago
• 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 10 months ago
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆222Updated last month
• eric-wieser / lean-matrix-cookbook
  The matrix cookbook, proved in the Lean theorem prover
  ☆93Updated last month
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆109Updated 2 months ago
• jonsterling / forest
  My mathematical Zettelkasten, created using forester.
  ☆78Updated last month
• leanprover-community / tutorials
  Some Lean tutorials
  ☆182Updated last year
• madvorak / lean4-cheatsheet
  Printable (A4) overview of tactics in Lean 4 for beginners
  ☆24Updated 4 months ago
• Paper-Proof / paperproof
  Lean theorem proving interface which feels like pen-and-paper proofs.
  ☆378Updated this week
• leanprover-community / lean4game
  Server to host lean games.
  ☆220Updated last week
• ImperialCollegeLondon / xena-UROP-2018
  A place to put our 2018 Xena project UROP thoughts and programs.
  ☆25Updated 4 years ago
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆42Updated this week
• JuliaPoo / Cayley-Graph-Plotting
  A web UI that plots finite group Cayley Graphs in 3D
  ☆13Updated last year
• leanprover-community / format_lean
  A Lean file formatter
  ☆64Updated last year
• kendfrey / rubiks-cube-group
  A formalization of the Rubik's cube group
  ☆27Updated 4 years ago
• leanprover / vscode-lean4
  Visual Studio Code extension for the Lean 4 proof assistant
  ☆178Updated this week
• b-mehta / maths-notes
  Lecture notes from Cambridge maths
  ☆65Updated 11 months ago
• 3-manifolds / SnapPy
  SnapPy is a package for studying the topology and geometry of 3-manifolds, with a focus on hyperbolic structures. It is based on the Snap…
  ☆93Updated this week
• PatrickMassot / lean-verbose
  Very controlled natural language tactics for Lean
  ☆62Updated 11 months ago
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆104Updated 6 months ago
• vaibhavkarve / leanteach2020
  Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project
  ☆26Updated 3 years ago
• metamath / set.mm
  Metamath source file for logic and set theory
  ☆261Updated this week
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆74Updated last year
• leanprover-community / lean4-metaprogramming-book
  ☆235Updated this week
• HEPLean / HepLean
  A project to digitalise results from high energy physics into Lean.
  ☆96Updated this week
• leanprover-community / lean-liquid
  💧 Liquid Tensor Experiment
  ☆186Updated 11 months ago