Nach 2 Monaten kompletter Verzweiflung endlich n (grosses) Resultat beweisen*... Die 4+x Feierabendbier bis hierher hab ich mir verdient
Jetzt bin ich neugierig! (Und das mit den HoTT-Implementierungen sieht immer noch nicht gut aus)
-
-
Ich bin in der (stabilen) Homotopietheorie und weiss leider viel weniger über Type Theory als ich gern würde. Aber man versichert mir dass
-
diverse (alles andere als triviale) Theoreme aus der klassischen Homotopietheorie mittlerweile über HTT zugänglich sind. Für mein Zeug...
-
ist das gegenwärtig wohl noch Zukunftsmusik aber vllt nicht komplett für HTT unzugänglich ((un)Endlichkeit könnte n Stolperstein sein)
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.