Description: Isabelle is a generic proof assistant. It allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus.
To Search:
File list (Check if you may need any files):
Isabelle98.tar