Skip to content
GitLab
Explore
Sign in
MMT
LATIN2
Repository
LATIN2
source
type_theory
tetrapod
translation.mmt
Find file
Blame
History
Permalink
add notions of relative equivalence
· 1c44128e
ComFreek
authored
Jul 23, 2020
1c44128e