alexanderknop / I2DMLinks
The lecture notes for my discrete mathematics classes.
☆18Updated last year
Alternatives and similar repositories for I2DM
Users that are interested in I2DM are comparing it to the libraries listed below
Sorting:
- multilingual dictionary of mathematical terminology☆19Updated 6 months ago
- A database app for ring theory☆22Updated 2 weeks 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…☆21Updated this week
- ☆21Updated 3 weeks ago
- FreeTikZ☆37Updated 7 years ago
- A place to put our 2018 Xena project UROP thoughts and programs.☆25Updated 5 years ago
- Tim Button's open textbook on set theory☆37Updated last year
- ☆11Updated last year
- VSCode extension for Metamath☆10Updated last week
- Syntax highlighting for ABNF/BNF/EBNF, Yacc, and other language-related languages.☆21Updated 2 years ago
- Continuous functions formalized in Lean4. A students project accompanied by a YouTube video.☆15Updated 10 months ago
- Some examples of Lean projects, for undergraduate mathematicians.☆23Updated 3 years ago
- Tasty Bits of Several Complex Variables, graduate textbook☆17Updated 2 weeks ago
- ☆23Updated 3 years ago
- Physics Derivation Graph: mathematical connections among equations☆20Updated last year
- More SageMath Tutorials: A place to share and evolve tutorials for Sage, with the aim to contribute them to Sage☆32Updated last year
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 6 months ago
- Learn Lean and topology☆21Updated 2 years ago
- Some theorems presented to first and second year mathematics undergraduates, First and second year undergraduate level mathematics☆14Updated 3 years ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Updated 5 years ago
- Psychology and Neuroscience: First Edition☆17Updated 9 months ago
- modal logic library for LEAN theorem prover☆11Updated 7 years ago
- A teaching aid library for formal languages and compiler courses☆12Updated last week
- Applied Combinatorics by Mitchel T. Keller and William T. Trotter☆29Updated last year
- ☆14Updated last year
- An obsolete python library which gathers statistics and relational information about Lean 3 libraries.☆17Updated last year
- Metamath verifier in Python☆39Updated last year
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆33Updated 3 weeks ago
- This project is about formally verifying Seymour's decomposition theorem for regular matroids.☆24Updated this week
- Commutative diagrams with TikZ☆52Updated 2 years ago