Twm Stone

Stream: new members

[Twm Stone]

Hi, I'm Twm and I'm interested in translating existing code I've written (in say, Python) into Lean and proving that it's correct. I'm currently an AI safety researcher having previously worked at Microsoft