Sign inSign up

tokensforprogress/tfp-verifiers

By tokensforprogress

•Updated 30 days ago

Verifier images for Tokens for Progress (TfP). Pinned by digest; tags are per-problem.

Image
0

820

tokensforprogress/tfp-verifiers repository overview

No overview available
This repository doesn't have an overview

Tag summary

Content type

Image

Digest

sha256:33df3f9b2…

Size

927.7 MB

Last updated

30 days ago

docker pull tokensforprogress/tfp-verifiers:formal-conjectures-lean-check-20260905191214