Fermah: The Universal Proof Generation Layer