GitHub repository: tannerduve/computability
Primary language: Lean
Created: 2024-10-01T18:41:42Z
Description: A Lean formalization of the theory of oracle computability and Turing degrees via partial recursive functions