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

1.0.1
294f74a
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.0.1

1.0.1
294f74a
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 21 Nov 22:31

Release version 1.0.1

Assets 2