1. Home
  2. Science
  3. Mathematics
  4. Implementing Mathematics Using NuPrl

Science · Mathematics

Implementing Mathematics Using NuPrl

Listed in the directory · updated 23 Jul 2022

Visit website

Find them on

Share

About Implementing Mathematics Using NuPrl

Implementing Mathematics Using NuPrl- 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.

Tags

Journals

Where it sits

Science Mathematics

More in Mathematics

See all →