David Thrane ChristiansenOct 2, 2023
Today's my first day working full time on @leanprover - I'm really looking forward to it!
Show threadLindsey KuperOct 2, 2023
@d_christiansen @leanprover I had been wondering what the new job that you "couldn't say no" to was! Congrats!
Show threadDavid Thrane Christiansen
@lindsey @leanprover thanks! Dependent types, metaprogramming, focus on good tools - what's not to like?
Oct 2, 2023 at 7:49amWeb