Skip to main content
PRL Project

PRL Math Library

Recent Library Updates

This is a library of fully formalized definitions and proofs. Some of the material has been enhanced by the addition of informal explanations referring to it.

Tips for browsing the library

Browse by shelf view | orig sort | title | date | author | subject

44 results

        Full Nuprl Library