iblech / mathe-notizenLinks
Random notes on mathematics (in German)
☆11Updated 3 weeks ago
Alternatives and similar repositories for mathe-notizen
Users that are interested in mathe-notizen are comparing it to the libraries listed below
Sorting:
- Notes on how to use the internal language of toposes in algebraic geometry☆59Updated last week
- Kan: A browser extension for reading nLab☆29Updated 6 years ago
- ☆17Updated last year
- General-Purpose Computer Algebra System as an EDSL in Haskell☆92Updated 11 months ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Updated 10 years ago
- Generate commutative diagrams inside of Pandoc with Tikz☆35Updated 8 years ago
- Schemes in Lean (v2)☆43Updated 5 years ago
- A formalization of M-types in Agda☆34Updated 5 years ago
- A formalization of synthetic algebraic geometry in Agda☆14Updated 6 years ago
- Brent's PhD thesis.☆69Updated 9 years ago
- ☆84Updated 7 years ago
- This project is to contain a listing of common theorems in elementary category theory.☆73Updated 5 years ago
- Directed type theory for formal category theory☆17Updated 8 years ago
- Generates natural language versions of Coq proofs☆51Updated 7 years ago
- M4 algebraic geometry course in Lean☆58Updated 5 years ago
- A very simple coq layer for spacemacs☆37Updated 6 years ago
- pulp: process your LaTeX log file with pulp and make a better paper☆46Updated 8 years ago
- An experimental category theory library for Lean☆51Updated last year
- An embedded DSL for creating, composing, and using probability measures.☆41Updated 5 years ago
- Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyll☆57Updated 5 years ago
- constructive abstract algebra☆104Updated 5 years ago
- Cohesive type theory☆19Updated 3 years ago
- Implementation of Univalence in Cubical Sets☆147Updated 10 years ago
- Web based opetopic editor☆35Updated 10 months ago
- A blog about Coq☆46Updated 3 years ago
- Convenient Haskell syntax for writing in LaTeX math expressions☆28Updated last year
- Categorical logic from a categorical point of view☆80Updated last year
- A DSL for the internal language of a topos☆66Updated last month
- A symbolic model checker for Dynamic Epistemic Logic.☆46Updated 3 weeks ago
- A semantic Extension of TeX/LaTeX☆54Updated last month