Repository navigation

bachelor-thesis

Public

About

No description, website, or topics provided.

0 stars

1 watching

Report repository

Name		Name	Last commit message	Last commit date
abstract		abstract
agda-code		agda-code
agda		agda
appendix		appendix
box-lambda-calculus		box-lambda-calculus
conclusions		conclusions
embeddings		embeddings
img		img
introduction		introduction
lambda-calculus		lambda-calculus
packages		packages
pdf		pdf
relatedwork		relatedwork
research		research
.gitignore		.gitignore
BachelorThesis.tex		BachelorThesis.tex
README.md		README.md
bibliography.bib		bibliography.bib

Repository files navigation

Bachelor's Thesis

Overview repository

pdf: contains the latest compiled latex file
packages: contains all custom packages being used. The file defs.sty in this folder contains all macros

About

No description, website, or topics provided.

0 stars

1 watching

Report repository

Releases

Packages

Used by

Contributors

Languages