Stav dette: Proof technology and computation /