nikhilv215/mobius-type_theory

•Updated 5 months ago

Image

132

nikhilv215/mobius-type_theory repository overview

No overview available

This repository doesn't have an overview

Recent tags

Content type

Image

Digest

sha256:cc24a096e…

Size

68.4 MB

Last updated

5 months ago

docker pull nikhilv215/mobius-type_theory:v1