kmill / knotfolioLinks
A program for drawing knots and links, with support for importing images
☆32Updated last year
Alternatives and similar repositories for knotfolio
Users that are interested in knotfolio are comparing it to the libraries listed below
Sorting:
- Tag-based webview of LaTeX documents☆29Updated last year
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆53Updated last year
- ☆30Updated this week
- Schemes in Lean (v2)☆43Updated 4 years ago
- multilingual dictionary of mathematical terminology☆19Updated 6 months ago
- Formalization of the existence of sphere eversions☆41Updated last week
- ☆38Updated 2 years ago
- ☆23Updated 3 years ago
- Lean for the Curious Mathematician 2020☆66Updated last year
- ☆11Updated last year
- some maths papers in English☆18Updated 2 months ago
- M4 algebraic geometry course in Lean☆59Updated 5 years ago
- Notes on how to use the internal language of toposes in algebraic geometry☆58Updated last month
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Updated 5 years ago
- Metamath verifier in Python☆39Updated last year
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆28Updated 3 years ago
- The main source code for Regina☆38Updated this week
- lecture notes for Analytic Geometry course☆11Updated 3 years ago
- ☆31Updated last year
- Lean-independent implementation of the MM-Lean link☆30Updated 2 years ago
- ☆30Updated 3 months ago
- Xy-pic extension for MathJax version 3☆37Updated 2 years ago
- This project is about formally verifying Seymour's decomposition theorem for regular matroids.☆24Updated this week
- Repository for the conference LFTCM2024☆11Updated last year
- Generate HTML documentation for mathlib and Lean☆21Updated 8 months ago
- A place to put our 2018 Xena project UROP thoughts and programs.☆25Updated 5 years ago
- Tool to analyse the import structure of lean projects.☆12Updated last month
- A tool to auto-generate and render slides from Markdown comments in the Lean editor.☆18Updated last month
- Printable (A4) overview of tactics in Lean 4 for beginners☆24Updated 8 months ago
- tool for turning Lean proofs into Blender animations☆68Updated last month