/msc-agda-tactics

A Repo for managing my Master's thesis files.

Primary LanguageAgda

Stargazers