A reading group run by Yaël Dillies and me, where we discuss different aspects of interactive theorem proving, programming, and metaprogramming in Lean. Everyone is welcome to join! More experienced

photomomlinda.blogspot.com·há cerca de 1 ano

Linda's Lens: July 2025

(A multi-part recap of my recent Scandinavia trip.) Day three of my Rick Steves tour and it was time to bid Stockholm a fond farewell. But before our group departed, there was one last place on the

photomomlinda.blogspot.com·há cerca de 1 ano

Linda's Lens: June 2025

(A multi-part recap of my recent Scandinavia trip.) Kim and I stumbled blearily into our Stockholm hotel. After 17 hours between two flights, a train ride and subway trip from the airport, and a lon

Related Entities

1Brief20×
2Jaunt20×
3Austra20×
4March20×
5Slaktkyrkan20×
6Multi16×
7Disciplinary16×
8Designer16×
9Climate Resilient City11×
10Climate Change11×

Stockholm — Local | Buobe