Proof and Proving for austria