Skip to content
GitLab
Explore
Sign in
MMT
LATIN2
Repository
LATIN2
source
type_theory
tetrapod
test-structure-colimit.mmt
Find file
Blame
History
Permalink
add theories on semantics equivalence
· 7776e94a
ComFreek
authored
Jul 23, 2020
7776e94a