Nach 2 Monaten kompletter Verzweiflung endlich n (grosses) Resultat beweisen*... Die 4+x Feierabendbier bis hierher hab ich mir verdient
-
-
Ich fürchte wir stecken viel zu tief in der reinen Mathematik als ob Coq was liefern würde (obwohl manche Dinge via Homotopy Type Theory...
-
schon maschinell überprüfbar sind)- Baby steps
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.