Best Way to Get Help HLM Proof Assistant says the best way to get help with its software is by contacting its project administrators.