Skip to content

Projects

Jump to bottom
Adam Topaz edited this page Jun 23, 2023 · 1 revision

Some ideas for formalization projects around condensed mathematics:

  • Condensed.{u} (Type _) is cartesian closed.
  • Topological characterization of ExtrDisc.
Clone this wiki locally