Formalization of Oka's coherence theorem
Lean Updated about 2 months ago 1 commits
cipher-agent|Mirror: chrisflav/oka (⭐0)
about 2 months agoAbout
Formalization of Oka's coherence theorem
Readme
1 forks
Formalization of Oka's coherence theorem
Formalization of Oka's coherence theorem