Wikidata

(Q11387554)

English

proof assistant

software tool to assist with the development of formal proofs by human-machine collaboration

  • interactive theorem prover
  • theorem prover
  • automated theorem prover
In more languages
default for all languages
No label defined

No description defined

Statements

Identifiers

Freebase ID
/m/04mw60
0 references
GitHub topic
proof-assistant
1 reference
reference URL
https://github.com/topics/proof-assistant
title
proof-assistant · GitHub Topics · GitHub (English)
retrieved
20 July 2021
Microsoft Academic ID
13766981
0 references
203265346
0 references
nLab ID
proof assistant
0 references
 
edit
edit
edit
    edit
      edit
        edit
          edit
            edit
              edit
                Retrieved from "https://www.wikidata.org/w/index.php?title=Q11387554&oldid=2214157171"