Matita proof assistant

E2202204 UNEXPLORED

Matita proof assistant is an interactive theorem prover and proof development environment based on a variant of the Calculus of Inductive Constructions, designed for formalizing mathematics and verifying proofs.

Try in SPARQL Jump to: Surface forms Referenced by

All labels observed (1)

Label	Occurrences
Matita proof assistant canonical	1

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.

Calculus of Constructions → influenced → Matita proof assistant ⓘ

subject linked to: calculus of constructions