Skip to content

v0.0.109

Choose a tag to compare

View all tags
@github-actions github-actions released this 09 Aug 03:50
· 496 commits to master since this release
v0.0.109
This tag was signed with the committer’s verified signature. The key has expired.
Vtec234 Wojciech Nawrocki
GPG key ID: 4E27C2EBC32B69B7
Expired
Verified
Learn about vigilant mode.
0fbff43
This commit was signed with the committer’s verified signature. The key has expired.
Vtec234 Wojciech Nawrocki
GPG key ID: 4E27C2EBC32B69B7
Expired
Verified
Learn about vigilant mode. 
vscode-lean4 0.0.109
Assets 3
Loading