Summary of Definitions and Theorems

by Brown, Saturday, February 13, 2021, 09:09 (295 days ago)

Here's a pdf summarizing the objects defined and theorems proven in the Egal theory of Proofgold so far. This corresponds to the PfgEFeb2021Preamble.mgs file distributed with Megalodon 1.4.