Alternatives and similar repositories for mathezirkel-kurs:

Users that are interested in mathezirkel-kurs are comparing it to the libraries listed below

• iblech / internal-methods
  Notes on how to use the internal language of toposes in algebraic geometry
  ☆55Updated 2 months ago
• andrejbauer / mathematical-stories
  Mathematical stories
  ☆13Updated 4 years ago
• byorgey / species
  ☆17Updated 11 months ago
• iblech / scheme-theory-in-agda
  A formalization of synthetic algebraic geometry in Agda
  ☆13Updated 6 years ago
• b-mehta / combinatorics
  ☆22Updated 2 years ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆13Updated last month
• ImperialCollegeLondon / M4P33
  M4 algebraic geometry course in Lean
  ☆59Updated 4 years ago
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆46Updated 2 years ago
• SkySkimmer / HoTTClasses
  HoTT proofs using experimental induction-induction (mostly about real numbers) (used to contain the HoTT.Classes proofs)
  ☆15Updated 4 years ago
• andrejbauer / marshall
  Real number computation software
  ☆123Updated 2 years ago
• bmsherman / topology
  Formal topology (and some probability) in Coq
  ☆32Updated 6 years ago
• iblech / vortrag-haskell
  Slides for an introductory talk about Haskell (in German)
  ☆11Updated 4 years ago
• sdiehl / cats
  Generate commutative diagrams inside of Pandoc with Tikz
  ☆35Updated 7 years ago
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆42Updated 4 years ago
• leftaroundabout / manifolds
  Coordinate-free hypersurfaces as Haskell types
  ☆40Updated last year
• kim-em / lean-category-theory
  An experimental category theory library for Lean
  ☆49Updated last year
• wellposed / hblas
  haskell bindings for blas and lapack
  ☆49Updated 6 years ago
• peterlefanulumsdaine / Oberwolfach-explorations
  collaboration on work in progress
  ☆15Updated 13 years ago
• diagrams / diagrams-graphviz
  Graph layout and drawing with GraphViz and diagrams
  ☆10Updated 4 months ago
• jdoughertyii / hott-species
  Combinatorial species in HoTT
  ☆12Updated 9 years ago
• byorgey / series-formelles
  Translation of, and commentary on, Joyal's classic paper "Une théorie combinatoire des séries formelles" (A combinatorial theory of forma…
  ☆29Updated 6 months ago
• ericfinster / catt.io
  Revised Omega-categorical Typechecker
  ☆25Updated 2 months ago
• mikeshulman / cohesivett
  Cohesive type theory
  ☆19Updated 3 years ago
• CodaFi / Agda-Metaprogramming
  Dependently Typed Metaprogramming Exercises
  ☆22Updated 6 years ago
• FFaissole / Valuations
  Synthetic Topology in Homotopy Type Theory for probabilstic programming
  ☆12Updated 6 years ago
• anthonyywangmath / tikzsd
  A program for generating LaTeX TikZ code for string diagrams.
  ☆18Updated 3 years ago
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 13 years ago
• cmu-phil / Spectral
  ☆45Updated last year
• coq-community / lemma-overloading
  Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]
  ☆27Updated 2 months ago
• statusfailed / pp
  probabilistic programming in Haskell
  ☆17Updated 8 years ago