Skip to content
GitLab
Explore
Sign in
LATIN2
source
casestudies
2023-cade
Category Theory
category-theory-lemmas-dhol.p
Find file
Blame
History
Permalink
Re-organize file structure for DHOL translation example folder
· 91472b27
ColinRothgang
authored
Apr 21, 2023
TODOs: - find better file names, - subfolders for category theory examples - rewrite overview file
91472b27