Connect Observable notebooks to Lean on your computer with websocketd | Bryan Gin-ge Chen | ObservableConnect Observable notebooks to Lean on your computer with websocketd | Bryan Gin-ge Chen | Observable