Sign inSign up

theosotr/thalia-eval

By theosotr

•Updated almost 3 years ago

An image for Thalia: "API-driven Program Synthesis for Testing Static Typing Implementations"

Image
0

262

theosotr/thalia-eval repository overview

No overview available
This repository doesn't have an overview

Tag summary

Content type

Image

Digest

sha256:2db4952b2…

Size

1.2 GB

Last updated

almost 3 years ago

docker pull theosotr/thalia-eval