Hacker News new | ask | show | jobs
by tbt 3566 days ago
[ For some work formalizing a reflection principle in HOL, see https://intelligence.org/files/ProofProducingReflection.pdf ]