bollu / notesLinks
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
Sorting:
- WARD is a minimal, performant infinite whiteboard app for wacom tablets☆21Updated 3 years ago
- Short essays I've written☆79Updated last year
- A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.☆56Updated 4 months ago
- A gamification of the theorems in MATH40002 Analysis 1☆82Updated 2 years ago
- A visualization of key structures in abstract algebra.☆156Updated 5 years ago
- IMO Grand Challenge for Artificial Intelligence☆46Updated 3 years ago
- Study of language design and implementation.☆67Updated 4 years ago
- Building group theory from scratch in Lean☆60Updated 4 years ago
- Some examples of Lean projects, for undergraduate mathematicians.☆23Updated 4 years ago
- ☆24Updated 6 years ago
- An encyclopedia of proofs☆60Updated 8 months ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2020☆19Updated 5 years ago
- Andrej Bauer's blog "Mathematics and Computation"☆52Updated last year
- A place to put our 2018 Xena project UROP thoughts and programs.☆25Updated 5 years ago
- Lean 3 material related to Imperial College's "Introduction to University Mathematics" course☆161Updated last year
- Examples of literate programming by Knuth☆37Updated 3 weeks ago
- The WIP book for CPSC 411☆65Updated last week
- M4 algebraic geometry course in Lean☆59Updated 5 years ago
- Hosts the website for mathlib and other Lean community infrastructure.☆64Updated last week
- A simple raytracer written in Lean 4☆139Updated last year
- Hitchhiker's Guide to Logical Verification (2023 Edition)☆110Updated last year
- Algebra Number Theory book☆48Updated 3 years ago
- A sudoku game where you have to prove that your deductions are valid☆114Updated 2 years ago
- Open-source number theory textbook☆59Updated 11 months ago
- Lecture notes from Cambridge maths☆68Updated last year
- A collection of templates and solutions for Competitive Programming in Haskell☆29Updated 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 last year
- Lean Library currently studying for a degree at Imperial College☆226Updated 5 months ago
- The Complex Number Game. Make the complex numbers in Lean.☆40Updated 2 years ago
- ☆86Updated 2 months ago