Implementing Mathematics Using NuPrl

cs.cornell.edu

Full online text of the book. Includes tutorial on Martin-LÃ¶f's type theory, motivating remarks on intuitionism, as well as sample formalisations of constructive mathematics in the NuPrl theorem prover.

Rate This Site

More in Martin-LÃ¶f's Type Theory Report

QR Code

Download PNG

Embed Badge

<a href="https://e-sygoing.link/go/5285921" title="Implementing Mathematics Using NuPrl"><img src="https://e-sygoing.link/badge.php?lid=5285921" alt="Listed on e-sygoing.link" height="20"></a>

Place this code on your website to show you're listed here.

Implementing Mathematics Using NuPrl

Rate This Site

Submit Your Site

Related Links