Skip to content

Releases: leanprover/vscode-lean4

vscode-lean4 0.0.24

20 Apr 14:01
@gebner gebner
v0.0.24
fe305e0
Compare
Choose a tag to compare
vscode-lean4 0.0.24 
v0.0.24

vscode-lean4 0.0.24
Assets 3
Loading

vscode-lean4 0.0.23

07 Apr 16:12
@gebner gebner
v0.0.23
578f51f
Compare
Choose a tag to compare
vscode-lean4 0.0.23 
v0.0.23

vscode-lean4 0.0.23
Assets 3
Loading

vscode-lean4 0.0.22

07 Apr 15:33
@gebner gebner
v0.0.22
36e1bda
Compare
Choose a tag to compare
vscode-lean4 0.0.22 
v0.0.22

vscode-lean4 0.0.22
Assets 3
Loading

vscode-lean4 0.0.21

07 Apr 12:39
@gebner gebner
v0.0.21
702d1d2
Compare
Choose a tag to compare
vscode-lean4 0.0.21 
v0.0.21

vscode-lean4 0.0.21
Assets 3
Loading

vscode-lean4 0.0.20

26 Mar 17:19
@gebner gebner
v0.0.20
1addb45
Compare
Choose a tag to compare
vscode-lean4 0.0.20 
v0.0.20

vscode-lean4 0.0.20
Assets 3
Loading

vscode-lean4 0.0.19

26 Mar 15:12
@gebner gebner
v0.0.19
273dab2
Compare
Choose a tag to compare
vscode-lean4 0.0.19 
v0.0.19

vscode-lean4 0.0.19
Assets 3
Loading

vscode-lean4 0.0.18

25 Mar 14:29
@gebner gebner
v0.0.18
ad55e21
Compare
Choose a tag to compare
vscode-lean4 0.0.18 
v0.0.18

vscode-lean4 0.0.18
Assets 3
Loading

vscode-lean4 0.0.17

25 Mar 14:20
@gebner gebner
v0.0.17
7facf20
Compare
Choose a tag to compare
vscode-lean4 0.0.17 
v0.0.17

vscode-lean4 0.0.17
Assets 3
Loading

vscode-lean4 0.0.16

24 Mar 14:40
@gebner gebner
v0.0.16
a2bb278
Compare
Choose a tag to compare
vscode-lean4 0.0.16 
v0.0.16

vscode-lean4 0.0.16
Assets 3
Loading

vscode-lean4 0.0.15

24 Mar 13:53
@gebner gebner
v0.0.15
936b567
Compare
Choose a tag to compare
vscode-lean4 0.0.15 
v0.0.15

vscode-lean4 0.0.15
Assets 3
Loading