The Proofscape Library# This part of the reference introduces the fundamental concepts and definitions of Proofscape. Data Types and Content Types Data Types Content Types Library Basics Repos Libpaths Modules Versions Dependency declarations pfsc files Imports Assignments Deductions Annotations Running Definitions Comments Proofscape grammar rst files What an rst file does in Proofscape The Sphinx page The pfsc directive Libpaths