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

1.1.2
76895d8
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.2

1.1.2
76895d8
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 10 Dec 20:09

Release version 1.1.2

Assets 2