kmill / knotfolioLinks
A program for drawing knots and links, with support for importing images
☆33Updated 2 years ago
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☆32Updated 2 years ago
- Formalization of the existence of sphere eversions☆46Updated 2 weeks ago
- M4 algebraic geometry course in Lean☆58Updated 5 years ago
- Lean for the Curious Mathematician 2020☆68Updated 2 years ago
- Hosts the website for mathlib and other Lean community infrastructure.☆72Updated this week
- Commutative diagrams with TikZ☆53Updated 3 years ago
- Schemes in Lean (v2)☆43Updated 5 years ago
- Source code for the nLab☆201Updated 10 months ago
- Johan's clone of the cring repository from http://cring.adeel.ru/☆30Updated 12 years ago
- Development tools for https://github.com/leanprover-community/mathlib☆34Updated 2 years ago
- The root repository for the SpectralSequences project.☆32Updated last month
- Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.☆85Updated 4 years ago
- Generate HTML documentation for mathlib and Lean☆22Updated last year
- 💧 Liquid Tensor Experiment☆220Updated 2 years ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Updated 6 years ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆56Updated 2 years ago
- Metamath verifier in Python☆41Updated 8 months ago
- Lean web editor☆129Updated last month
- tool for turning Lean proofs into Blender animations☆80Updated last month
- A Lean file formatter☆71Updated 3 years ago
- All the math/tex files for the Automorphic Project☆19Updated last year
- A file-based mirror of the nLab wiki (HTML format).☆28Updated this week
- A formal consistency proof of Quine's set theory New Foundations☆79Updated 7 months ago
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆31Updated 4 years ago
- A gamification of the theorems in MATH40002 Analysis 1☆83Updated 3 years ago
- This project converts structured Lean code into an interactive browser game.☆78Updated 2 years ago
- ☆13Updated this week
- Code samples for Lean 4☆76Updated 2 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…☆122Updated last year
- This project is about formally verifying Seymour's decomposition theorem for regular matroids.☆40Updated last week