Beyond Gold Standards: Epistemic Ensemble of LLM Judges for Formal Mathematical Reasoning