roed314 / seminarsLinks
Listing of online math seminars
☆43Updated last week
Alternatives and similar repositories for seminars
Users that are interested in seminars are comparing it to the libraries listed below
Sorting:
- All the math/tex files for the Automorphic Project☆19Updated last year
- 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