Project Page Index Table of Contents
  • Limit Computability
    • The Limit Lemma 1
    • The Limit Lemma 2
  • Low Simple Predicates
    • A solution to Post's Problem
  • The Low Wall Function
    • Requirements
    • Construction
    • Verification
  • The Simple Extension
    • Construction
    • Requirements
    • Verification
  • Step-Inedxed Oracle Machines
    • Step-Inedxed Execution
    • Use Functions
  • The Priority Method
    • Basic Properties
    • Generated by coqdoc and improved with CoqdocJS