GithubMirrors

• RSS feed
• Atom feed

Repositories

2

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 1

This mirrors and automatically synsc the upstream 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. For my (and my exercise partner's) own notes / solutions of sheets / etc, check out this fork

Updated 2025-12-05 13:36:35 +01:00

loopia-dynamic-dns

Python 0 1

Updated 2022-01-06 21:38:29 +01:00

Members 1