Proof assistant
id:
proof-assistant-185-2925834
title:
Proof assistant
text:
In computer science and mathematical logic, a proof assistant or interactive theorem prover is a software tool to assist with the development of formal proofs by human–machine collaboration. This involves some sort of interactive proof editor, or other interface, with which a human can guide the search for proofs, the details of which are stored in, and some steps provided by, a computer. A recent effort within this field is making these tools use artificial intelligence to automate the formaliz
brand slug:
wiki
category slug:
encyclopedia
description:
Software tool to assist with the development of formal proofs by human–machine collaboration
original url:
https://en.wikipedia.org/wiki/Proof_assistant
date created:
2004-12-09T08:41:37Z
date modified:
2024-09-07T17:51:48Z
main entity:
{"identifier":"Q11387554","url":"https://www.wikidata.org/entity/Q11387554"}
image:
{"content_url":"https://upload.wikimedia.org/wikipedia/commons/0/0d/CoqProofOfDecidablityOfEqualityOnNaturalNumbers.png","width":1016,"height":735}
fields total:
13
integrity:
16