Isabelle (theorem prover)
From The Right Wiki
Redirect page
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.