Summary of Definitions and Theorems

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

http://grid01.ciirc.cvut.cz/~chad/feb2021preamble.pdf

RSS Feed of thread
powered by my little forum