lennart-finke / knottinghamLinks
A Tool for Drawing Pretty Knots.
☆58Updated 2 weeks ago
Alternatives and similar repositories for knottingham
Users that are interested in knottingham are comparing it to the libraries listed below
Sorting:
- Render tikzcd diagrams with JSX.☆61Updated 5 years ago
- The Lean 4 web editor☆109Updated last week
- Group theory visualization software in the browser☆255Updated last year
- Some Lean tutorials☆183Updated last year
- Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.☆228Updated 5 months ago
- Use MiniZinc in the browser or with NodeJS☆47Updated last week
- Imperial College London lecture notes for Geometry, Algebra, and Number Theory☆38Updated last year
- An introduction to theorem proving in Lean for the impatient.☆251Updated 2 weeks ago
- Lean theorem proving interface which feels like pen-and-paper proofs.☆453Updated last month
- A program for drawing knots and links, with support for importing images☆32Updated last year
- Interactive mathematics in the browser☆66Updated 7 months ago
- Scientific computing in Lean 4☆425Updated 3 months ago
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆30Updated 3 years ago
- 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
- An interactive theorem prover for string diagrams☆120Updated 10 months ago
- ☆38Updated 2 years ago
- 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…☆107Updated this week
- Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)☆188Updated last week
- Server to host lean games.☆315Updated this week
- A project to digitalise results from physics into Lean.☆341Updated this week
- The user home repository for the Mathematics in Lean tutorial.☆407Updated last month
- This project converts structured Lean code into an interactive browser game.☆77Updated last year
- SorryDB indexes sorries in public lean repositories☆29Updated this week
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆298Updated 9 months ago
- Lecture notes from Cambridge maths☆71Updated last year
- The matrix cookbook, proved in the Lean theorem prover☆117Updated this week
- blueprint for prime number theorem and more☆188Updated this week
- Hypergraph Rewriting System☆82Updated last year
- Exponent pair database☆62Updated last week
- Lean 3 material related to Imperial College's "Introduction to University Mathematics" course☆160Updated last year