There is not much documentation available so far. It will be coming as we gather the time to write it down. For now, we have a little tutorial on using Pcoq, which can also be used to see its most basic capabilities.
When running under Unix, it is possible to start pcoq so that it uses a prescribed amount of memory, different from the default chosen by Java implementations. For instance, here is the command to use 400 Megabytes of memory.
JAVA_FLAGS=-mx400M pcoq