felixwellen/DCHoTT-Agda felixwellen/DCHoTT-Agda

  • Stars
    star
    51
  • Rank 568,706 (Top 12 %)
  • Language Agda
  • Created about 8 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
felixwellen/DCHoTT-Agda
github

felixwellen

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Differential cohesion in Homotopy Type Theory by an axiomatized infinitesimal shape modality

More Repositories

1

synthetic-zariski

Latex documentation of our understanding of the synthetic /internal theory of the Zariski-Topos
TeX
51
star
2

synthetic-geometry

Synthetic geometry. Probably mostly algebraic geometry.
22
star
3

FastFluidDynamics

OCaml
3
star
4

HoTT-Vorlesung

Materialien zur Vorlesung Homotopietypentheorie, Sommersemester 2021, Universitรคt Augsburg
TeX
3
star
5

ExactArithmetic

Calculate without loss of precision
F#
1
star