Synonyms
- de isabelle (n, theorembeweiser) ➜
- en isabelle (n, proof_assistant) ➜
- en isabelle (n, proof_assistant) ➜
- es isabelle ➜
- fr isabelle (n, logiciel) ➜
- pt isabelle ➜
Links to other resources
- dbpedia.org Isabelle (proof assistant)
- wikidata.dbpedia.org /resource/Q460340