Summary of Definitions and Theorems

by Brown, Saturday, February 13, 2021, 09:09 (250 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.

RSS Feed of thread
powered by my little forum