3 ms·

[ For some work formalizing a reflection principle in HOL, see https://intelligence.org/files/ProofProducingReflection.pdf https://intelligence.org/files/ProofP

by tbt 10y ago

[ For some work formalizing a reflection principle in HOL, see https://intelligence.org/files/ProofProducingReflection.pdf https://intelligence.org/files/ProofProducingReflection.pdf ]