Zulip Chat Archive

Stream: general

Topic: easy way to see server ↔ Lean communication

Eric Rodriguez (Jul 23 2021 at 14:15):

hey all, does anyone know an easy way to see all the messages sent by (say) the lean extension to and from the Lean server? I'd even be happy with having to use the online REPL, I think i've seen someone mention that as a possibility somewhere

Bryan Gin-ge Chen (Jul 23 2021 at 14:24):

If you use the #webeditor, you can click the purple (?) and there's a checkbox at the bottom to show the messages in your browser's console.

Last updated: Aug 03 2023 at 10:10 UTC