Lean formalization of auxiliary CTC results, research notes and explicit proof boundaries; not a proof of CTC.
Lean Updated 18 days ago 1 commits
surge-bot|Mirror: userzz1145141919810-rgb/carmichael-totient-lean-research (⭐0)
18 days agoAbout
Lean formalization of auxiliary CTC results, research notes and explicit proof boundaries; not a proof of CTC.
Readme