alexrutar / UWaterloo-Course-NotesLinks
Course notes for selected courses at the University of Waterloo
☆18Updated 3 years ago
Alternatives and similar repositories for UWaterloo-Course-Notes
Users that are interested in UWaterloo-Course-Notes are comparing it to the libraries listed below
Sorting:
- M4 algebraic geometry course in Lean☆59Updated 5 years ago
- ☆26Updated 5 months ago
- Formalized quantum computing in Lean theorem prover☆25Updated 4 years ago
- Solution to Algebra, Chapter 0☆90Updated last month
- Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021☆47Updated 3 years ago
- My mathematical Zettelkasten, created using forester. Moved to sourcehut.☆86Updated last week
- A Probability Theory Library for the Coq Theorem Prover☆54Updated last year
- Notes on how to use the internal language of toposes in algebraic geometry☆58Updated last month
- Johan's clone of the cring repository from http://cring.adeel.ru/☆29Updated 11 years ago
- Categorical logic from a categorical point of view☆78Updated last year
- A formal proof of the independence of the continuum hypothesis☆125Updated 9 months ago
- Deposited packages of the homalg project☆14Updated last month
- A quantum circuit language and formal verification tool☆103Updated 3 weeks ago
- Coq library for reasoning about quantum programs☆39Updated 4 months ago
- ☆85Updated last month
- Topos theory in lean☆60Updated 4 years ago
- Lean for the Curious Mathematician 2020☆66Updated last year
- Imperial College London lecture notes for Geometry, Algebra, and Number Theory☆37Updated last year
- Development tools for https://github.com/leanprover-community/mathlib☆34Updated last year
- Enter Unicode characters using LaTeX notation☆94Updated last year
- Schemes in Lean (v2)☆43Updated 4 years ago
- Perfectoid spaces in the Lean formal theorem prover.☆122Updated 10 months ago
- Effective Algebraic Topology in Haskell☆91Updated 8 months ago
- ☆16Updated 4 years ago
- A Lean file formatter☆67Updated 2 years ago
- Extension for VS Code that provides support for the older Lean 3 language. Succeeded by vscode-lean4 ('lean4' in the extensions menu) for…☆115Updated 2 months ago
- Kan: A browser extension for reading nLab☆26Updated 6 years ago
- A fast, easy-to-use ring solver for agda with step-by-step solutions☆40Updated 3 years ago
- A database of small finite categories☆14Updated last year
- My basic LaTeX macros and BibTeX file.☆13Updated 2 years ago