bollu / notes
Latex notes on papers, courses, ideas: Pure math and computer science.
☆61Updated last year
Related projects: ⓘ
- WARD is a minimal, performant infinite whiteboard app for wacom tablets☆21Updated 2 years ago
- A collection of templates and solutions for Competitive Programming in Haskell☆25Updated 2 years ago
- Lecture notes from Cambridge maths☆61Updated 7 months ago
- Compilation of notes I've written on VIM from a variety of sources, which hopefully showcases at least some of the cool functionality of …☆32Updated 3 years ago
- Source code for the Mathematics in Lean tutorial.☆79Updated this week
- Algebra Number Theory book☆47Updated 2 years ago
- Very controlled natural language tactics for Lean☆60Updated 7 months ago
- My personal LaTeX template, with sensible formatting and commands☆16Updated last year
- The lecture notes for my discrete mathematics classes.☆18Updated last year
- Some examples of Lean projects, for undergraduate mathematicians.☆22Updated 3 years ago
- Notes on how to use the internal language of toposes in algebraic geometry☆53Updated last month
- Let's translate works of Grothendieck☆24Updated 5 years ago
- An introduction to theorem proving in Lean for the impatient.☆93Updated this week
- An encyclopedia of proofs☆56Updated 2 years ago
- "We must know. We shall know." - David Hilbert☆20Updated 3 weeks ago
- Hosts the website for mathlib and other Lean community infrastructure.☆51Updated this week
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆118Updated 6 months ago
- Cambridge Maths Tripos notes☆34Updated 3 years 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
- Course notes for Pure Mathematics Topic D 2019☆52Updated 4 years ago
- ☆77Updated last week
- ☆20Updated 2 years ago
- A textbook of elementary undergraduate algebra with an emphasis on hand and computer computation, as a precursor to the usual big algebra…☆81Updated 8 months ago
- Imperial College London lecture notes for Geometry, Algebra, and Number Theory☆35Updated 11 months ago
- A place to put our 2018 Xena project UROP thoughts and programs.☆23Updated 4 years ago
- Lean for the Curious Mathematician 2020☆63Updated 10 months ago
- Applied Combinatorics by Mitchel T. Keller and William T. Trotter☆27Updated 4 months ago
- An interactive theorem prover for string diagrams☆105Updated 7 months ago
- Building group theory from scratch in Lean☆57Updated 3 years ago
- notes I've made from books I've read, courses I've taken etc☆14Updated 2 months ago