Release v0.0.188-pre · leanprover/vscode-lean4 · GitHub

v0.0.188-pre
a3c0d29
Verified

This tag was signed with the committer’s verified signature.

Vtec234 Wojciech Nawrocki

GPG key ID: 8DCB2EFB54B2F80A

Verified
Learn about vigilant mode
Choose a tag to compare

Filter

View all tags

v0.0.188-pre

v0.0.188-pre
a3c0d29
Choose a tag to compare

Filter

View all tags
Verified

This tag was signed with the committer’s verified signature.

Vtec234 Wojciech Nawrocki

GPG key ID: 8DCB2EFB54B2F80A

Verified
Learn about vigilant mode

Vtec234 tagged this 13 Jan 13:05

vscode-lean4 0.0.188 (pre-release)

Assets 2