lennart-finke / knottingham
A Tool for Drawing Pretty Knots.
☆48Updated 3 months 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.☆59Updated 5 years ago
- A place to put our 2018 Xena project UROP thoughts and programs.☆25Updated 4 years ago
- The Lean 4 web editor☆89Updated last month
- Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.☆211Updated 2 months ago
- ☆38Updated last year
- Lean theorem proving interface which feels like pen-and-paper proofs.☆415Updated last month
- Fermat's Last Theorem for regular primes☆58Updated this week
- A project to digitalise results from physics into Lean.☆234Updated this week
- An introduction to theorem proving in Lean for the impatient.☆188Updated 2 weeks ago
- Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)☆159Updated 2 weeks ago
- Some Lean tutorials☆183Updated last year
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆251Updated 5 months 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
- The matrix cookbook, proved in the Lean theorem prover☆106Updated this week
- Mathlib search tool☆86Updated last week
- My mathematical Zettelkasten, created using forester.☆82Updated last week
- Theorem Proving in Lean 4☆179Updated 7 months 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…☆99Updated 2 weeks ago
- A computer algebra system for research in combinatorial game theory☆40Updated last year
- Lean 4 tutorial files☆35Updated last year
- Imperial College London lecture notes for Geometry, Algebra, and Number Theory☆36Updated last year
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆28Updated 3 years ago
- Helper toolkit for creating your own Lean 4 UserWidgets☆135Updated 2 weeks ago
- Coq/Rocq practice session @ Lean For The Curious Mathematicians 2024☆11Updated last year
- plasTeX plugin to build formalization blueprints.☆214Updated last week
- Group theory visualization software in the browser☆250Updated last year
- A formalization of the Rubik's cube group☆27Updated 4 years ago
- A Lean file formatter☆67Updated 2 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…☆20Updated 3 weeks ago
- An English translation of the Séminaire de Géométrie Algébrique du Bois Marie☆33Updated 3 months ago