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☆30Updated last year
- multilingual dictionary of mathematical terminology☆19Updated 7 months ago
- Schemes in Lean (v2)☆43Updated 4 years ago
- M4 algebraic geometry course in Lean☆59Updated 5 years ago
- ☆23Updated 3 years ago
- Formalization of the existence of sphere eversions☆43Updated 2 weeks ago
- Lean for the Curious Mathematician 2020☆67Updated last year
- A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.☆25Updated 3 years ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Updated 5 years ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆53Updated last year
- ☆38Updated 2 years ago
- A place to put our 2018 Xena project UROP thoughts and programs.☆25Updated 5 years ago
- Printable (A4) overview of tactics in Lean 4 for beginners☆25Updated 9 months ago
- Generate HTML documentation for mathlib and Lean☆21Updated 8 months ago
- Very controlled natural language tactics for Lean☆64Updated last year
- ☆31Updated last year
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition☆50Updated 3 years ago
- Deposited packages of the homalg project☆15Updated last month
- Metamath verifier in Python☆39Updated 2 weeks ago
- Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.☆85Updated 4 years ago
- ☆31Updated 2 weeks ago
- ☆11Updated last year
- CAP project -- Categories, Algorithms, and Programming☆28Updated this week
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆29Updated 3 years ago
- Matroids in Lean☆18Updated last year
- An experimental category theory library for Lean☆51Updated last year
- Formalizing results about the Mandelbrot set in Lean☆21Updated 7 months ago
- some maths papers in English☆18Updated this week
- A tool for building Lean4 .olean files from Lean3 export data☆10Updated 3 years ago
- The Complex Number Game. Make the complex numbers in Lean.☆40Updated 2 years ago