NuPRL

E2165476 UNEXPLORED

NuPRL is an interactive theorem prover and proof development system based on constructive type theory, used for formal verification and program extraction.

Try in SPARQL Jump to: Surface forms Referenced by

All labels observed (1)

Label	Occurrences
NuPRL canonical	1

Referenced by (1)

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

Martin-Löf type theory → influenced → NuPRL ⓘ