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

1.1.0
a4a47bb
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.0

1.1.0
a4a47bb
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 01 Dec 23:53

Release version 1.1.0

Assets 2