bollu / notes
Latex notes on papers, courses, ideas: Pure math and computer science.
☆61Updated last year
Alternatives and similar repositories for notes:
Users that are interested in notes are comparing it to the libraries listed below
- WARD is a minimal, performant infinite whiteboard app for wacom tablets☆21Updated 3 years ago
- A collection of templates and solutions for Competitive Programming in Haskell☆28Updated 3 years ago
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆72Updated last year
- IMO Grand Challenge for Artificial Intelligence☆46Updated 3 years ago
- Short essays I've written☆78Updated last year
- M4 algebraic geometry course in Lean☆59Updated 5 years ago
- Lecture notes from Cambridge maths☆67Updated last year
- Compilation of notes I've written on VIM from a variety of sources, which hopefully showcases at least some of the cool functionality of …☆31Updated 4 years ago
- Course notes for Pure Mathematics Topic D 2019☆53Updated 5 years ago
- Hosts the website for mathlib and other Lean community infrastructure.☆62Updated this week
- GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.☆45Updated 7 years ago
- The theory of groups☆76Updated last year
- A place to put our 2018 Xena project UROP thoughts and programs.☆25Updated 4 years ago
- Let's translate works of Grothendieck☆24Updated 5 years ago
- Some examples of Lean projects, for undergraduate mathematicians.☆22Updated 3 years ago
- An interactive theorem prover for string diagrams☆113Updated 6 months ago
- ☆29Updated 3 months ago
- An Experiment in Haskell Symbolic Algebra☆73Updated 12 years ago
- An English translation of the Séminaire de Géométrie Algébrique du Bois Marie☆32Updated 2 months ago
- Mathematical notes and papers☆26Updated this week
- Tim Button's open textbook on set theory☆34Updated last year
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Updated 5 years ago
- Theorem proving in Lean☆49Updated 6 months ago
- An arbitrary-precision differentiable programming language.☆36Updated last year
- Haskell bindings to SymEngine☆25Updated last year
- Examples of Automatic Differentiation (AD) in many different languages and systems☆26Updated 6 years ago
- Template to effortlessly build math-rich websites☆39Updated 3 years ago
- An encyclopedia of proofs☆60Updated 5 months ago
- A program for drawing knots and links, with support for importing images☆31Updated last year
- ☆23Updated 2 years ago