GitHub - MatthiasGabriel/SemProgAnTr_FS20: "Dependent Types for Software Engineers" - Report for the Seminar "Program Analysis and Transformation" in HS2020 about dependent types.

MatthiasGabriel / SemProgAnTr_FS20 Public

"Dependent Types for Software Engineers" - Report for the Seminar "Program Analysis and Transformation" in HS2020 about dependent types.

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 58 Commits
images		images
presentation		presentation
sections		sections
sources		sources
.gitignore		.gitignore
abstract.tex		abstract.tex
seminar.tex		seminar.tex
seminarreferences.bib		seminarreferences.bib