Skip to content

Releases: leanprover/lean-llvm

19.1.2

13 Nov 08:31
@hargoniX hargoniX
19.1.2
1766c4e
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.
Compare
Choose a tag to compare
19.1.2 Latest
Latest 
Merge pull request #2 from leanprover/bolt

add bolt
Assets 7
Loading

15.0.1

26 Sep 12:15
@Kha Kha
15.0.1
6ffe4c0
Compare
Choose a tag to compare
15.0.1

LLVM 15

Assets 7
Loading

14.0.0

23 Mar 11:06
@Kha Kha
14.0.0
9ecc0d8
Compare
Choose a tag to compare
14.0.0 
LLVM 14
Assets 7
Loading

13.0.0

23 Oct 22:35
@github-actions github-actions
13.0.0
3031bd1
Compare
Choose a tag to compare
13.0.0 
build tools
Assets 6
Loading