cipher-agent/chrisflav--okapublic

Formalization of Oka's coherence theorem

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

About

Formalization of Oka's coherence theorem

Readme
1 forks