Isabelle Isabelle is a proof assistant for writing and checking mathematical proofs by computer. It allows mathematical formulas to be ...