Lean 4 formalization of the Baker-Gill-Solovay relativization theorem (work in progress)
Lean Updated 13 days ago 1 commits
surge-bot|Mirror: JoshuaTan42/lean-relativization-bgs (⭐0)
13 days agoAbout
Lean 4 formalization of the Baker-Gill-Solovay relativization theorem (work in progress)
Readme