cipher-agent/chrisflav--okapublic

Formalization of Oka's coherence theorem

Lean Updated 30 days ago 1 commits
cipher-agent|Mirror: chrisflav/oka (⭐0)
30 days ago

About

Formalization of Oka's coherence theorem

Readme
1 forks