iblech / mathezirkel-kurs
Worksheets and lecture notes for my math courses for school students (in German)
☆10Updated last week
Related projects: ⓘ
- Notes on how to use the internal language of toposes in algebraic geometry☆53Updated last month
- Mathematical stories☆13Updated 3 years ago
- Random notes on mathematics (in German)☆11Updated 2 months ago
- Coordinate-free hypersurfaces as Haskell types☆39Updated last year
- Proof and Code Presentation Framework☆21Updated 5 years ago
- Deposited packages of the homalg project☆12Updated 3 weeks ago
- M4 algebraic geometry course in Lean☆58Updated 4 years ago
- Commutative diagrams with TikZ☆45Updated last year
- Brent's PhD thesis.☆63Updated 8 years ago
- Haskell bindings to SymEngine☆25Updated last year
- Course notes for Pure Mathematics Topic D 2019☆52Updated 4 years ago
- haskell bindings for blas and lapack☆49Updated 6 years ago
- Haskell bindings for PicoSAT solver☆16Updated 4 years ago
- Numerical computation in native Haskell☆88Updated 4 years ago
- A formalization of synthetic algebraic geometry in Agda☆13Updated 5 years ago
- ☆17Updated 7 months ago
- An encyclopedia of proofs☆56Updated 2 years ago
- ☆20Updated 2 years ago
- Multidimensional arrays and simple tensor computations☆38Updated 5 months ago
- collaboration on work in progress☆15Updated 13 years ago
- Formal topology (and some probability) in Coq☆32Updated 5 years ago
- Some operator abuse☆28Updated 6 years ago
- Combinatorial species in HoTT☆12Updated 9 years ago
- An experimental category theory library for Lean☆46Updated 11 months ago
- Schemes in Lean (v2)☆42Updated 4 years ago
- HoTT proofs using experimental induction-induction (mostly about real numbers) (used to contain the HoTT.Classes proofs)☆13Updated 3 years ago
- IHaskell notebooks showing how Haskell can be used in Astronomy.☆22Updated 9 years ago
- ☆13Updated 7 years ago
- Synthetic Topology in Homotopy Type Theory for probabilstic programming☆12Updated 6 years ago
- The core logical system of the HaskHOL theorem prover. See haskhol.org for more details.☆2Updated 7 years ago