Nice! What does one vertex correspond to? What is the single geometry vertex about?
-
-
-
There is a directory called `geometry` in Lean's maths library: https://github.com/leanprover-community/mathlib/tree/master/src/geometry … . But it only contains one file -- the definition of a manifold. That reminds me -- I'd better update https://xenaproject.wordpress.com/2019/07/17/lean-does-not-yet-have-real-manifolds/ … ! We need more geometers :D
Kraj razgovora
Novi razgovor -
-
-
I spent 2 minutes looking for geometry. Then rotated my phone.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.