Latex files for my thesis, as well as their formalization in Agda. The latter can be seen in this github page.
FernandoChu/MastersThesis
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Latex files for my thesis, as well as their formalization in Agda. The latter can be seen in this github page.