madkous / math490Links
An answer key to Emily Riehl's Category Theory in Context produced by Dr. Pardue's math 490 class at UMBC
☆22Updated 3 years ago
Alternatives and similar repositories for math490
Users that are interested in math490 are comparing it to the libraries listed below
Sorting:
- My mathematical Zettelkasten, created using forester. Moved to sourcehut.☆88Updated 6 months ago
- Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021☆50Updated 3 years ago
- Logical manifestations of topological concepts, and other things, via the univalent point of view.☆266Updated this week
- Categorical Logic Notes☆81Updated 3 years ago
- An experimental proof assistant based on a type theory for synthetic ∞-categories.☆253Updated last month
- Categorical logic from a categorical point of view☆81Updated 2 years ago
- HoTTEST Summer School materials☆318Updated 6 months ago
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆310Updated last year
- The agda-unimath library☆278Updated last week
- The collected works of F. W. Lawvere☆368Updated last year
- EPIT 2020 - Spring School on Homotopy Type Theory☆109Updated 4 years ago
- ☆122Updated last year
- Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT☆130Updated 3 months ago
- Selected Papers of Dana S. Scott☆169Updated last year
- My basic LaTeX macros and BibTeX file.☆14Updated 2 years ago
- A digital archive of category theory papers.☆33Updated last month
- An experimental category theory library for Lean☆51Updated 2 years ago
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆32Updated 3 years ago
- Proofs for the exercises for Lawvere and Schanuel's Conceptual Mathematics☆29Updated 3 years ago
- A collection of tools for writing technical documents that mix Coq code and prose.☆279Updated 2 months ago
- ☆51Updated last year
- Topos theory in lean☆64Updated 4 years ago
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆122Updated last year
- Notes on how to use the internal language of toposes in algebraic geometry☆60Updated 2 months ago
- Lecture notes on realizability☆75Updated 9 months ago
- Alexander Grothendieck's 1972 talk at CERN, on scientific research☆65Updated last year
- Source code for the nLab☆193Updated 8 months ago
- ☆93Updated 7 months ago
- Effective Algebraic Topology in Haskell☆90Updated last year
- A slow-paced introduction to reflection in Agda. ---Tactics!☆104Updated 3 years ago