#

recursion-theory

Here are 2 public repositories matching this topic...

crabsatellite / einstein-test-lean4-formalization

Lean 4 formalization companion to 'What the Karpowicz Theorem Does Not Prove' (Li, 2026)

formal-verification kolmogorov-complexity mathlib lean4 large-language-models recursion-theory philosophy-of-ai verification-asymmetry einstein-test

Updated May 13, 2026
Lean

cb-g / lizhi

Improve this page

Add a description, image, and links to the recursion-theory topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the recursion-theory topic, visit your repo's landing page and select "manage topics."