Are you keeping pace? Do you think you can get the whole course done like this? (I know that's the hope, maybe the question is: by when?)
-
-
-
Good question. I am not keeping pace because the Nullstellensatz is a bunch of commutative algebra which still isn't done in Lean and is done in the course. However the "pace" of the course wrt formalisation is very up and down. Working on formalising Zariski's Lemma right now.
Kraj razgovora
Novi razgovor -
-
-
Keep up the good work!
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.