Skip to content

Releases: leanprover-community/iris-lean

Release list

v4.31.0

v4.31.0 Latest
Latest

Choose a tag to compare

View all tags
@markusdemedeiros markusdemedeiros released this 12 Jul 00:17
v4.31.0
5a790ae
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode. 
feat: setoid -> type port (step 1) (#502)

---------

Co-authored-by: Markus de Medeiros <40584146+markusdemedeiros@users.noreply.github.com>
Co-authored-by: Markus de Medeiros <markusdemedeiros@outlook.com>
Co-authored-by: Zongyuan Liu <liuzongyuan0505@gmail.com>
Assets 2
Loading

v4.30.0

v4.30.0

Choose a tag to compare

View all tags
@markusdemedeiros markusdemedeiros released this 27 May 20:28
v4.30.0
6ddf890
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode. 
chore: bump version to v4.30.0 (#419)

Co-authored-by: Michael Sammler <noreply@sammler.me>
Loading

v4.29.1

v4.29.1

Choose a tag to compare

View all tags
@markusdemedeiros markusdemedeiros released this 27 May 17:22
v4.29.1
d7383dc
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode. 
chore: bump to v4.29.1 (#418)
Loading

v4.29.0

v4.29.0

Choose a tag to compare

View all tags
@markusdemedeiros markusdemedeiros released this 08 Apr 15:46
v4.29.0
5cbc794
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode. 
chore: bump version to 4.29 (#306)
Loading

v4.28.0

v4.28.0

Choose a tag to compare

View all tags
@markusdemedeiros markusdemedeiros released this 20 Feb 18:51
v4.28.0
54081c6 
chore: bump version to 4.28.0
Loading

v4.27.0

v4.27.0

Choose a tag to compare

View all tags
@markusdemedeiros markusdemedeiros released this 05 Feb 13:18
4.27.0
745e0c4 
chore: bump version to 4.27.0
Loading

v4.26.0

v4.26.0

Choose a tag to compare

View all tags
@markusdemedeiros markusdemedeiros released this 19 Dec 12:19
v4.26.0
04a8e4a 
patch: Fix build
Loading

v4.25.2

v4.25.2

Choose a tag to compare

View all tags
@markusdemedeiros markusdemedeiros released this 19 Dec 12:12
v4.25.2
18fcc07 
Bump version to 4.25.2
Loading

v4.25.1

v4.25.1

Choose a tag to compare

View all tags
@markusdemedeiros markusdemedeiros released this 23 Nov 19:20
v4.25.1
5fe59a8 
bump version to 4.25.1
Loading

v4.25.0

v4.25.0

Choose a tag to compare

View all tags
@markusdemedeiros markusdemedeiros released this 23 Nov 19:17
v4.25.0
56ab881 
bump version to 4.25.0
Loading