iblech / mathezirkel-kursLinks
Worksheets and lecture notes for my math courses for school students (in German)
☆10Updated 4 months ago
Alternatives and similar repositories for mathezirkel-kurs
Users that are interested in mathezirkel-kurs are comparing it to the libraries listed below
Sorting:
- Notes on how to use the internal language of toposes in algebraic geometry☆59Updated 3 weeks ago
- Slides for an introductory talk about Haskell (in German)☆11Updated 5 years ago
- ☆17Updated 2 weeks ago
- General-Purpose Computer Algebra System as an EDSL in Haskell☆93Updated last year
- A system for computational category theory and applications☆40Updated 9 years ago
- Some operator abuse☆29Updated 7 years ago
- A pandoc filter to express diagrams inline using the haskell EDSL diagrams.☆38Updated last month
- Schemes in Lean (v2)☆44Updated 5 years ago
- Formal topology (and some probability) in Coq☆32Updated 6 years ago
- An Experiment in Haskell Symbolic Algebra☆73Updated 13 years ago
- haskell bindings for blas and lapack☆49Updated 7 years ago
- A formalization of synthetic algebraic geometry in Agda☆14Updated 6 years ago
- Julia embedded in Haskell☆52Updated 10 months ago
- A formalization of M-types in Agda☆34Updated 5 years ago
- Lean Tutorials☆46Updated 5 years ago
- Lean theorem prover version 0.2 (it supports standard and HoTT modes)☆123Updated 3 years ago
- Numerical computation in native Haskell☆91Updated 5 years ago
- A type theory based theorem proving library☆25Updated 14 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Updated 10 years ago
- A blog about Coq☆46Updated 3 years ago
- Proof and Code Presentation Framework☆22Updated 6 years ago
- A hip inductive theorem prover!☆90Updated 3 years ago
- HoTT proofs using experimental induction-induction (mostly about real numbers) (used to contain the HoTT.Classes proofs)☆15Updated 4 years ago
- M4 algebraic geometry course in Lean☆59Updated 5 years ago
- Implementation of Univalence in Cubical Sets☆147Updated 10 years ago
- Cohesive type theory☆19Updated 3 years ago
- Brent's PhD thesis.☆69Updated 9 years ago
- Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyll☆57Updated 6 years ago
- Real number computation software☆127Updated 3 years ago
- This project is to contain a listing of common theorems in elementary category theory.☆73Updated 5 years ago