bollu / notes
Latex notes on papers, courses, ideas: Pure math and computer science.
☆61Updated last year
Related projects ⓘ
Alternatives and complementary repositories for notes
- WARD is a minimal, performant infinite whiteboard app for wacom tablets☆21Updated 2 years ago
- Lecture notes from Cambridge maths☆63Updated 9 months ago
- A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.☆55Updated 2 years ago
- Notes on how to use the internal language of toposes in algebraic geometry☆55Updated last month
- Let's translate works of Grothendieck☆24Updated 5 years ago
- GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.☆44Updated 6 years ago
- A community database of topological counterexamples☆72Updated this week
- Course notes for Pure Mathematics Topic D 2019☆52Updated 4 years ago
- Real number computation software☆121Updated 2 years ago
- Haskell bindings to SymEngine☆25Updated last year
- An Experiment in Haskell Symbolic Algebra☆72Updated 12 years ago
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆67Updated last year
- Kan: A browser extension for reading nLab☆25Updated 6 years ago
- ☆77Updated 2 months ago
- Algebra Number Theory book☆47Updated 2 years ago
- An English translation of the Séminaire de Géométrie Algébrique du Bois Marie☆31Updated 7 months ago
- Source code for the Mathematics in Lean tutorial.☆91Updated last week
- M4 algebraic geometry course in Lean☆58Updated 4 years ago
- An arbitrary-precision differentiable programming language.☆34Updated last year
- Formalization of category theory in Agda☆14Updated last year
- Very controlled natural language tactics for Lean☆61Updated 9 months ago
- A few Mathematics Revision Cheat Sheets I've made on LaTeX.☆85Updated 2 weeks ago
- Template to effortlessly build math-rich websites☆39Updated 2 years ago
- Tim Button's open textbook on set theory☆30Updated last year
- Cambridge Maths Tripos notes☆36Updated 4 years ago
- An experimental category theory library for Lean☆47Updated last year
- Lean for the Curious Mathematician 2020☆63Updated last year
- Some examples of Lean projects, for undergraduate mathematicians.☆22Updated 3 years ago
- Tag-based webview of LaTeX documents☆28Updated 9 months ago