Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

proof assistant · Vinony

proof assistant

EntityQ11387554· pop 11· linked from 199 articles

proof assistant

Sign in to save

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

Wikidata facts

Instance of: software category
Subclass of: mathematical software
Image: CoqProofOfDecidablityOfEqualityOnNaturalNumbers.png

Show 1 more fact

P366: computer-assisted proof

via Wikidata · CC0

Connections

automated theorem proving

Categories

Argument technology Automated theorem proving Proof assistants

Sources

wikipedia.externallinksexternallink
Wikidata (CC0)wikidata-claims
Pixabayimage-pixabay

Isabelle

Entity

Artificial intelligence

computer science

International Standard Book Number

University of Cambridge

mathematical proof

digital object identifier

mathematical logic

Cornell University

University of Edinburgh

Technical University of Munich

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

Entitydist 0.38

Category:Computer-assisted proofs

Entitydist 0.49

automated reasoning

Entitydist 0.52

Entitydist 0.54

Entitydist 0.54

Distributed Proofreaders Canada

Entitydist 0.54

Entitydist 0.59

Category:Proof theorists

Entitydist 0.60

design by contract

Entitydist 0.61

Computer-aided audit tools

Entitydist 0.61

verification and validation

Entitydist 0.62

computer-aided engineering

Entitydist 0.63

What links here199 pages

automated theorem proving

automated reasoning

computer-assisted proof

Kepler conjecture

formal verification

first-order logic

philosophy of mathematics

symbolic artificial intelligence

Heyting arithmetic

Institut National de Recherche en Informatique et en Automatique

Euclid–Euler theorem

static program analysis

intuitionistic type theory

homotopy type theory

computer algebra system