Isabelle (theorem prover)

Redirect to:

From other disambiguation: This is a redirect from a title with an alternative disambiguation qualifier of the target name.
- The disambiguation of these page names is not incorrect, incomplete nor unnecessary. For those redirects use {{R from incorrect disambiguation}}, {{R from incomplete disambiguation}} or {{R from unnecessary disambiguation}} instead.