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