Zulip Chat Archive
Stream: PR reviews
Topic: vscode-lean#227 \goal for ⊢
Gabriel Ebner (Oct 15 2020 at 10:09):
I like the abbreviation. Any objections?
Eric Wieser (Oct 15 2020 at 10:23):
Where did the vscode-lean repo go?
Eric Wieser (Oct 15 2020 at 10:24):
Ah, leanprover not leanprover-community
Gabriel Ebner (Oct 15 2020 at 10:29):
Fixed link (too long for the topic title):
https://github.com/leanprover/vscode-lean/issues/227
Last updated: May 02 2025 at 03:31 UTC