Matches in DBpedia 2014 for { ?s ?p <http://dbpedia.org/resource/Isabelle_(proof_assistant)> . }
Showing items 1 to 8 of
8
with 100 items per page.
- Haskell_(programming_language) influenced Isabelle_(proof_assistant).
- Lawrence_Paulson knownFor Isabelle_(proof_assistant).
- Isabelle_(disambiguation) wikiPageDisambiguates Isabelle_(proof_assistant).
- HOL wikiPageRedirects Isabelle_(proof_assistant).
- Isabelle_(theorem_prover) wikiPageRedirects Isabelle_(proof_assistant).
- Isabelle_software wikiPageRedirects Isabelle_(proof_assistant).
- Isabelle_theorem_prover wikiPageRedirects Isabelle_(proof_assistant).
- Isabelle_(proof_assistant) primaryTopic Isabelle_(proof_assistant).