Release v0.0.165 · leanprover/vscode-lean4 · GitHub

v0.0.165
4d6252e
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.165

v0.0.165
4d6252e
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 20 Jun 02:13

vscode-lean4 0.0.165

Assets 2