Repos
27
Stars
161
Forks
20
Top Language
Agda
Loading contributions...
Top Repositories
Latex documentation of our understanding of the synthetic /internal theory of the Zariski-Topos
Differential cohesion in Homotopy Type Theory by an axiomatized infinitesimal shape modality
Synthetic geometry. Probably mostly algebraic geometry.
Materialien zur Vorlesung Homotopietypentheorie, Sommersemester 2021, Universität Augsburg
Begleitmaterial zur Vorlesung Homotopietypentheorie an der Universität Augsburg im Wintersemester 25/26
Repositories
27Latex documentation of our understanding of the synthetic /internal theory of the Zariski-Topos
Differential cohesion in Homotopy Type Theory by an axiomatized infinitesimal shape modality
Begleitmaterial zur Vorlesung Homotopietypentheorie an der Universität Augsburg im Wintersemester 25/26
Synthetic geometry. Probably mostly algebraic geometry.
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
A wiki using HAppS, pandoc, and git
Agda is a dependently typed programming language / interactive theorem prover.
No description provided.
The Agda standard library
Materialien zur Vorlesung Homotopietypentheorie, Sommersemester 2021, Universität Augsburg
Domain Specific Languages of Mathematics
No description provided.
My solutions to 'advent of code' exercises
No description provided.
No description provided.
A new and tiki code generator for tango-controls device servers
Calculate without loss of precision
JSON for Modern C++
No description provided.
No description provided.
Emacs support for F*
No description provided.
Development of homotopy type theory in Agda
HoTT in Lean 3
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
A script for exporting an Instiki installation to a git repository.
Source for http://mitschriebwiki.nomeata.de/