M

masterlogic-thesis

Project information

Report of my master's thesis: Generalized Veltman semantics in Agda

291 Commits
2 Branches
0 Tags

README

Created on

January 28, 2020

Loading