Giters

FernandoChu / MastersThesis

Formalization of my thesis in Agda

Home Page:https://fernandochu.github.io/MastersThesis/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Masters Thesis

Latex files for my thesis, as well as their formalization in Agda. The latter can be seen in this github page.

About

Formalization of my thesis in Agda

https://fernandochu.github.io/MastersThesis/

License:Creative Commons Attribution 4.0 International

Languages

Language:TeX 80.1%Language:Agda 14.4%Language:CSS 2.8%Language:HTML 2.0%Language:JavaScript 0.5%Language:Nix 0.2%