GF-Proofs