lennart-finke / knottinghamLinks
A Tool for Drawing Pretty Knots.
☆50Updated 3 months ago
Alternatives and similar repositories for knottingham
Users that are interested in knottingham are comparing it to the libraries listed below
Sorting:
- A tool for drawing 2d diagrams, 3d knots, Seifert surfaces. Computes some knot properties and invariants.☆18Updated 3 years ago
- The Lean 4 web editor☆91Updated last month
- Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.☆217Updated 2 months ago
- JavaScript knot drawing and identification tool☆10Updated 8 years ago
- Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…☆21Updated this week
- Developing mathematics in Coq from the ground up☆20Updated 9 months ago
- A project to digitalise results from physics into Lean.☆259Updated this week
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆120Updated last year
- Fermat's Last Theorem for regular primes☆58Updated this week
- An introduction to theorem proving in Lean for the impatient.☆201Updated 2 weeks ago
- Ongoing Lean formalisation of the proof of Fermat's Last Theorem☆466Updated this week
- A program for drawing knots and links, with support for importing images☆32Updated last year
- Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)☆169Updated this week
- A place to put our 2018 Xena project UROP thoughts and programs.☆25Updated 5 years ago
- The matrix cookbook, proved in the Lean theorem prover☆106Updated this week
- ☆38Updated 2 years ago
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆254Updated 5 months ago
- A computer formalisation of parts of Martin Liebeck's book "a concise introduction to pure mathematics"☆11Updated last year
- Theorem Proving in Lean 4☆182Updated this week
- 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…☆101Updated last week
- This project converts structured Lean code into an interactive browser game.☆76Updated last year
- Course notes for Formalising Mathematics 2025☆49Updated 2 months ago
- Lean theorem proving interface which feels like pen-and-paper proofs.☆418Updated this week
- Scientific computing in Lean 4☆400Updated last week
- Some Lean tutorials☆183Updated last year
- A software package for analyzing Calabi-Yau manifolds.☆34Updated last week
- Exponent pair database☆53Updated last week
- An answer key to Emily Riehl's Category Theory in Context produced by Dr. Pardue's math 490 class at UMBC☆22Updated 2 years ago
- plasTeX plugin to build formalization blueprints.☆219Updated 3 weeks ago
- Catalog Of Math Problems Formalized In Lean☆162Updated this week