a
a
d
i
ยท
i
n
k
/about
/research
/posts
/feeds
Computing | tags
Lean Into Lean
16 September, 2023
Notes from an excursion in Lean