bollu / notesLinks
Latex notes on papers, courses, ideas: Pure math and computer science.
☆61Updated 2 years ago
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☆22Updated 3 years ago
- IMO Grand Challenge for Artificial Intelligence☆46Updated 3 years ago
- A collection of templates and solutions for Competitive Programming in Haskell☆29Updated 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.☆56Updated 5 months 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
- A gamification of the theorems in MATH40002 Analysis 1☆82Updated 2 years ago
- Lecture notes from Cambridge maths☆69Updated last year
- M4 algebraic geometry course in Lean☆59Updated 5 years ago
- Open-source number theory textbook☆61Updated 11 months ago
- ☆86Updated 3 months ago
- A simple raytracer written in Lean 4☆140Updated last year
- Source files for https://web.evanchen.cc☆50Updated this week
- An interactive theorem prover for string diagrams☆119Updated 9 months ago
- repository for material for Jan-Mar 2023 course on formalising mathematics☆48Updated last year
- Andrej Bauer's blog "Mathematics and Computation"☆53Updated last year
- Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.☆85Updated 4 years ago
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆275Updated 7 months ago
- Building group theory from scratch in Lean☆60Updated 4 years ago
- The WIP book for CPSC 411☆65Updated last month
- The Complex Number Game. Make the complex numbers in Lean.☆40Updated 2 years ago
- Companion files for Logical Verification 2020–2021 at VU Amsterdam☆96Updated 4 years ago
- Course notes for Pure Mathematics Topic D 2019☆53Updated 5 years ago
- An experimental category theory library for Lean☆52Updated last year
- An elegant implementation of discrete diffgeo in haskell☆33Updated 5 years ago
- Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT☆130Updated last year
- Hitchhiker's Guide to Logical Verification (2023 Edition)☆110Updated last year
- Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version available here: https://github.com/Imperi…☆308Updated last year
- A few Mathematics Revision Cheat Sheets I've made on LaTeX.☆91Updated 8 months ago
- Repository where I'll collect some demos of proof assistants that I show to various people in order to spread the magic☆38Updated 2 years ago