Linea Prover: A Deep Dive