Does a LEAN language kernel for @ProjectJupyter exist?
-
-
-
I don't think so. We did discuss ways in which a LEAN kernel might be useful yesterday...
- Još 1 odgovor
Novi razgovor -
-
-
The CoCalc webinars are really interesting. I've done a few now. They need a lot of preparation on my part; I've tried with a sketchy half-idea and had it flop. But done well, they can be really great interactive Lean learning sessions.
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.