Wikidata

(Q460340)

English

Isabelle

higher-order logic (HOL) automated theorem prover

In more languages

Statements

programmed in
Standard ML
1 reference
stated in
Open Hub
reference URL
https://www.openhub.net/p/isabelle/analyses/latest/languages_summary
title
The isabelle Open Source Project on Open Hub: Languages Page (English)
retrieved
26 September 2018
Scala
0 references

Identifiers

nLab ID
Isabelle
0 references
Open Hub ID
isabelle
0 references
swMATH work ID
454
0 references
 
edit
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit
                  Retrieved from "https://www.wikidata.org/w/index.php?title=Q460340&oldid=2050915873"