florian-rabe / TeachingLinks
My lecture notes and other course materials
☆39Updated 3 weeks ago
Alternatives and similar repositories for Teaching
Users that are interested in Teaching are comparing it to the libraries listed below
Sorting:
- Lecture notes from Cambridge maths☆68Updated last year
- ☆21Updated 4 years ago
- Readings on computational logic, interactive theorem proving and functional programming.☆78Updated this week
- Cambridge Maths Tripos notes☆36Updated 4 years ago
- Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021☆47Updated 3 years ago
- Formalized quantum computing in Lean theorem prover☆25Updated 4 years ago
- Graduate level course on complex analysis in one variable: Guide to Cultivating Complex Analysis☆11Updated last month
- Building group theory from scratch in Lean☆60Updated 4 years ago
- GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.☆45Updated 7 years ago
- Notes on how to use the internal language of toposes in algebraic geometry☆58Updated last week
- Sources for "Applied Category Theory for Engineering"☆32Updated 3 weeks ago
- Lean for the Curious Mathematician 2020☆67Updated last year
- Latex notes on papers, courses, ideas: Pure math and computer science.☆61Updated last year
- Categorical Logic Notes☆78Updated 3 years ago
- CAP project -- Categories, Algorithms, and Programming☆28Updated 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…☆119Updated last year
- ☆9Updated 2 years ago
- Kan: A browser extension for reading nLab☆26Updated 6 years ago
- A controlled natural language for calculus of inductive constructions, based on Forthel.☆14Updated 4 years ago
- Supplementary code for Introduction to Theoretical Computer Science book.☆66Updated last year
- An answer key to Emily Riehl's Category Theory in Context produced by Dr. Pardue's math 490 class at UMBC☆22Updated 2 years ago
- Very controlled natural language tactics for Lean☆64Updated last year
- Perfectoid spaces in the Lean formal theorem prover.☆124Updated 11 months ago
- The Complex Number Game. Make the complex numbers in Lean.☆40Updated 2 years ago
- Folklore facts on probability distribution learning, testing, and whatever-ing☆261Updated 3 months ago
- A list of works and resources about double category theory, with a particular focus on applications.☆30Updated 2 years ago
- M4 algebraic geometry course in Lean☆59Updated 5 years ago
- A program for making zooming slides in figma.☆37Updated 3 months ago
- Source files for TheoremDep - a theorem dependency tracker☆20Updated 5 months ago
- Some examples of Lean projects, for undergraduate mathematicians.☆23Updated 4 years ago