Skip to content

Releases: shnarazk/zed-lean4

Release list

Version 0.1.2

Version 0.1.2 Latest
Latest

Choose a tag to compare

View all tags
@shnarazk shnarazk released this 13 Aug 09:59
v0.1.2
5bea3ea

Use tree-sitter-lean 86c2bcb379fe0b2ad13d8b3411400deff75b2785 .

Assets 2
Loading

Version 0.1.0

Version 0.1.0

Choose a tag to compare

View all tags
@shnarazk shnarazk released this 28 Nov 14:11
v0.1.0
b1aded6

The initial milestone with minimal features

Loading