Category Theory Seminar: Daniel Carranza (JHU)
Krieger 413Topic: Formalizing ∞-Category Theory in Lean
Topic: Formalizing ∞-Category Theory in Lean
Title: The Lawson-Osserman conjecture for the minimal surface systemAbstract: In their seminal work on the minimal surface system, Lawson and Osserman conjectured that Lipschitz graphs that are critical points of […]