---
key: tag/proofs
kind: tag
name: "Proof Assistant"
url: https://plangs.page/tag/proofs
---

# Proof Assistant

Software used to assist in proving mathematical theorems and verifying logical correctness.

## Facts

- Homepage: https://en.wikipedia.org/wiki/Proof_assistant

## Relationships

### Plangs

- [AbcDatalog](https://plangs.page/abclog)
- [Agda](https://plangs.page/agda)
- [Ascent](https://plangs.page/ascent)
- [Ciao](https://plangs.page/ciao)
- [Coq](https://plangs.page/coq)
- [ELPI](https://plangs.page/elpi)
- [Eqlog](https://plangs.page/eqlog)
- [Formulog](https://plangs.page/formulog)
- [Idris](https://plangs.page/idris)
- [Isabelle](https://plangs.page/isabelle)
- [OCaml](https://plangs.page/ocaml)
- [Prolog](https://plangs.page/prolog)
- [Scryer Prolog](https://plangs.page/scryer)
- [Standard ML](https://plangs.page/standard-ml)