roed314 / seminars
Listing of online math seminars
☆43Updated 7 months ago
Alternatives and similar repositories for seminars:
Users that are interested in seminars are comparing it to the libraries listed below
- All the math/tex files for the Automorphic Project☆18Updated 11 months ago
- Let's translate works of Grothendieck☆24Updated 5 years ago
- Tag-based webview of LaTeX documents☆28Updated last year
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆46Updated this week
- A Lean file formatter☆67Updated 2 years ago
- Johan's clone of the cring repository from http://cring.adeel.ru/☆29Updated 11 years ago
- This project converts structured Lean code into an interactive browser game.☆76Updated last year
- Repository for the QED interactive text and possible extensions☆97Updated 3 months ago
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆72Updated 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…☆120Updated last year
- Formalization of the existence of sphere eversions☆40Updated this week
- Perfectoid spaces in the Lean formal theorem prover.☆120Updated 9 months ago
- some maths papers in English☆18Updated last month
- Notes for "Applications of QFT to Geometry", UT Austin, fall 2017☆10Updated 8 months ago
- CoDi: Commutative Diagrams for TeX☆31Updated last year
- The standard template to create a lean game☆25Updated last month
- Lean for the Curious Mathematician 2020☆66Updated last year
- 💧 Liquid Tensor Experiment☆193Updated last year
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆27Updated 3 years ago
- Lecture notes from Cambridge maths☆67Updated last year
- Lean-independent implementation of the MM-Lean link☆29Updated 2 years ago
- Commutative diagrams with TikZ☆50Updated 2 years ago
- SnapPy is a package for studying the topology and geometry of 3-manifolds, with a focus on hyperbolic structures. It is based on the Snap…☆98Updated this week
- Source code for the nLab☆174Updated last month
- Template for blueprint-driven formalization projects in Lean.☆48Updated last week
- Write LaTeX theorems in Pandoc Markdown☆76Updated last year
- Building dynamical systems compositionally☆69Updated 6 months ago
- This it the TeX of Matsumura Commutative Algebra, TeX'd by the TeXromancers☆23Updated last year
- Emoji support in (Lua)LaTeX☆74Updated last year
- plasTeX plugin to build formalization blueprints.☆206Updated this week