Hub: primeintellect/goedel-pset · v0.1.1 · team
Task: agent
Tags: lean4 mathlib theorem-proving agentic multi-turn sandbox v1
Install
prime env install primeintellect/goedel-pset
# or via pip:
uv pip install goedel-pset --extra-index-url https://hub.primeintellect.ai/primeintellect/simple/
Dependencies
verifiers>=0.3.1
Python: >=3.11
Provenance
- Source: Prime Intellect Environments Hub
- Owner:
primeintellect(team) - Uploaded: 2026-09-13
- Last updated: 2026-09-13
- Version SHA256:
e3ca7f2b2b72f131…