Release 1.1.1 · leanprover-community/lean4-mode · GitHub

1.1.1
a561fa9
Verified

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

mekeor

SSH Key Fingerprint: mkzkZpjqwztUfhz4wmDkCypYb5KImB6bkAw7gwO/k08
Verified
Learn about vigilant mode
Compare

Choose a tag to compare

Loading

View all tags

1.1.1

1.1.1
a561fa9
Compare

Choose a tag to compare

Loading

View all tags
Verified

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

mekeor

SSH Key Fingerprint: mkzkZpjqwztUfhz4wmDkCypYb5KImB6bkAw7gwO/k08
Verified
Learn about vigilant mode

mekeor tagged this 02 Dec 00:09

Release version 1.1.1

Assets 2