bollu / notesLinks
Latex notes on papers, courses, ideas: Pure math and computer science.
☆65Updated 2 years ago
Alternatives and similar repositories for notes
Users that are interested in notes are comparing it to the libraries listed below
Sorting:
- IMO Grand Challenge for Artificial Intelligence☆47Updated 3 years ago
- WARD is a minimal, performant infinite whiteboard app for wacom tablets☆22Updated 4 years ago
- A gamification of the theorems in MATH40002 Analysis 1☆84Updated 2 years ago
- Hosts the website for mathlib and other Lean community infrastructure.☆70Updated this week
- M4 algebraic geometry course in Lean☆58Updated 5 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…☆121Updated last year
- Lean 3 material related to Imperial College's "Introduction to University Mathematics" course☆161Updated last year
- The Complex Number Game. Make the complex numbers in Lean.☆42Updated 3 years ago
- Building group theory from scratch in Lean☆62Updated 4 years ago
- Hitchhiker's Guide to Logical Verification (2023 Edition)☆113Updated 2 years ago
- Lecture notes from Cambridge maths☆72Updated last year
- Spring 2017 slides and homework for CMU's 15-316: Software Foundations of Security and Privacy.☆22Updated 8 years ago
- Notes on how to use the internal language of toposes in algebraic geometry☆60Updated 2 weeks ago
- Companion files for Logical Verification 2020–2021 at VU Amsterdam☆96Updated 5 years ago
- repository for material for Jan-Mar 2023 course on formalising mathematics☆48Updated last year
- A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.☆59Updated 10 months ago
- The simple essence of automatic differentiation☆201Updated 4 years ago
- Solutions to Algebra, by Michael Artin.☆35Updated 9 years ago
- ☆94Updated 8 months ago
- Andrej Bauer's blog "Mathematics and Computation"☆54Updated last year
- An encyclopedia of proofs☆64Updated last year
- Lean Library currently studying for a degree at Imperial College☆229Updated 10 months ago
- An interactive theorem prover for string diagrams☆124Updated last year
- Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.☆84Updated 4 years ago
- Study of language design and implementation.☆66Updated 5 years ago
- ☆24Updated 3 years ago
- Short essays I've written☆80Updated last year
- A collection of templates and solutions for Competitive Programming in Haskell☆29Updated 4 years ago
- ☆165Updated 6 years ago
- Some theorems presented to first and second year mathematics undergraduates, First and second year undergraduate level mathematics☆14Updated 3 years ago