Scarlehh / Discrete_Math_Notes
First Semester Discrete Mathematics lectures typed in LaTeX in note form for Second Year Trinity College students.
☆32Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for Discrete_Math_Notes
- Latex notes on papers, courses, ideas: Pure math and computer science.☆61Updated last year
- Lecture notes from Cambridge maths☆63Updated 9 months ago
- The lecture notes for my discrete mathematics classes.☆18Updated last year
- My undergraduate notes.☆55Updated 9 years ago
- Notes from various courses at the University of Waterloo.☆82Updated 5 years ago
- Princeton University COS 461: Computer Networks☆165Updated 3 years ago
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆119Updated 8 months ago
- An Infinite Descent into Pure Mathematics☆41Updated 3 years ago
- Johan's clone of the cring repository from http://cring.adeel.ru/☆27Updated 11 years ago
- Solutions to Algebra, by Michael Artin.☆31Updated 7 years ago
- A compilation of blogs by Waterloo students and alumni☆61Updated 4 years ago
- Let's translate works of Grothendieck☆24Updated 5 years ago
- Lean for the Curious Mathematician 2020☆63Updated last year
- Applied Combinatorics by Mitchel T. Keller and William T. Trotter☆27Updated 6 months ago
- Notes on determinants and other concrete algebra (PRIMES 2015 reading project: problems and solutions)☆12Updated 2 years ago
- My personal LaTeX template, with sensible formatting and commands☆16Updated 2 years ago
- My Waterloo course notes.☆10Updated 7 years ago
- This is a collation of freely and publicly available resources for STEP Prep collated into a useful central repository☆45Updated 5 months ago
- Student-run wiki for students interested in computer science at Cornell University☆90Updated last year
- WARD is a minimal, performant infinite whiteboard app for wacom tablets☆21Updated 2 years ago
- US immigration FAQ with a focus on the tech industry☆108Updated last year
- Source code of summer.haskell.org☆86Updated 8 months ago
- Solution to Algebra, Chapter 0☆87Updated 8 months ago
- My dotfiles, managed by stow☆70Updated 7 months ago
- ☆18Updated 2 years ago
- Lean Library currently studying for a degree at Imperial College☆228Updated last year
- A file-based mirror of the nLab wiki (HTML format).☆23Updated this week
- Group theory visualization software in the browser☆228Updated 8 months ago
- Basic Analysis, undergraduate real analysis textbook☆61Updated 3 weeks ago
- Competitive programming utilities in Haskell☆27Updated last month