iblech / mathezirkel-kurs
Worksheets and lecture notes for my math courses for school students (in German)
☆10Updated last month
Related projects ⓘ
Alternatives and complementary repositories for mathezirkel-kurs
- Slides for an introductory talk about Haskell (in German)☆11Updated 4 years ago
- Notes on how to use the internal language of toposes in algebraic geometry☆55Updated last month
- Mathematical stories☆13Updated 3 years ago
- A formalization of synthetic algebraic geometry in Agda☆13Updated 5 years ago
- ☆17Updated 9 months ago
- Proof and Code Presentation Framework☆21Updated 5 years ago
- Coordinate-free hypersurfaces as Haskell types☆39Updated last year
- a LaTeX package for managing the options and loading order of other packages☆33Updated 2 years ago
- ☆14Updated 7 years ago
- Schemes in Lean (v2)☆42Updated 4 years ago
- DIY Markov Chains.☆23Updated last week
- Brent's PhD thesis.☆63Updated 8 years ago
- Commutative diagrams with TikZ☆46Updated 2 years ago
- The core logical system of the HaskHOL theorem prover. See haskhol.org for more details.☆2Updated 8 years ago
- Highly polymorphic algebraic structures with custom deriving strategies☆30Updated 3 years ago
- An experimental category theory library for Lean☆47Updated last year
- Generate commutative diagrams inside of Pandoc with Tikz☆35Updated 7 years ago
- Painless general-purpose sampling.☆23Updated last week
- Voevodsky's 2006 paper on homotopy lambda calculus☆14Updated 9 years ago
- Combinatorial species in HoTT☆12Updated 9 years ago
- M4 algebraic geometry course in Lean☆58Updated 4 years ago
- Revised Omega-categorical Typechecker☆25Updated 2 weeks ago
- Real number computation software☆121Updated 2 years ago
- HoTT proofs using experimental induction-induction (mostly about real numbers) (used to contain the HoTT.Classes proofs)☆14Updated 3 years ago
- haskell bindings for blas and lapack☆49Updated 6 years ago
- Some operator abuse☆28Updated 7 years ago
- The algebra for formal power series in elements of the Weyl algebra☆18Updated 6 years ago
- ☆21Updated 2 years ago
- Formalism and proofs for esverify☆20Updated 6 years ago
- Polynomial semantics of linear logic☆13Updated 6 years ago