Max Lecture Notes

• RSS feed
• Atom feed

https://maximilian-kessler.de/lecture_notes.html

Repositories

4

Projects Packages Members

1

Filter

Clear filters

Archived Not archived

Forks Not forks

Mirrors Not mirrors

Templates Not templates

Private Public

Sort

Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks Smallest size Largest size

LeanCourse25

Lean 0 0

Fork of the lecture files for the Lean Course taught my Prof. Floris van Doorn and Michael Rothgang at the University of Bonn in the winter term 25/26. This repository contains @Flo and my own notes / solutions of sheets / etc.

Updated 2026-01-27 16:14:55 +01:00

Members 1