Hannover, DE

Stream: Geographic locality

[Daniel Pusicha]

Hi there from Hannover [according to Wiki you can write Hannover or Hanover depending on whether German or English spelling is used],

[Daniel Pusicha]

I'm an engineer in the field of automated control (you could name it applied mathmatics) and want to find out if/how Lean can be used in the context of teaching.

[Kevin Buzzard]

There's a stream for that -- #Lean for teaching (you might have to subscribe to it; I think it's not one of the streams you get automatically subscribed to). Feel free to ask specific questions there! In short, it's hard to teach both maths and Lean at the same time.