Mathematicians learning Lean. http://xenaproject.wordpress.com . Kevin Buzzard. Imperial College London.
Prove a theorem. Write a function. #leanprover.
Za najbolje sučelje na Twitteru koristite Microsoft Edge ili instalirajte aplikaciju Twitter iz trgovine Microsoft Store.
Mathematicians learning Lean. http://xenaproject.wordpress.com . Kevin Buzzard. Imperial College London.
Prove a theorem. Write a function. #leanprover.
U tweetove putem weba ili aplikacija drugih proizvođača možete dodati podatke o lokaciji, kao što su grad ili točna lokacija. Povijest lokacija tweetova uvijek možete izbrisati. Saznajte više