Public projects
Community-maintained prompt objectives
Browse open ProofMap projects, inspect their objectives, and propose improvements.
No public projects yet
Published projects will appear here as the community opens them up.
Publish yours
Public projects
Browse open ProofMap projects, inspect their objectives, and propose improvements.
Published projects will appear here as the community opens them up.