Isabelle/CTT

E2000065 UNEXPLORED

Isabelle/CTT is a constructive type theory object logic for the Isabelle proof assistant, used for formalizing and verifying mathematics and programs within an intuitionistic type-theoretic framework.

Try in SPARQL Jump to: Surface forms Referenced by

All labels observed (1)

Label	Occurrences
Isabelle/CTT canonical	1

Referenced by (1)

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

Isabelle → supportsLogic → Isabelle/CTT ⓘ