Skip to content

Releases: klavins/LeanW26

Release list

Clean up - April 2026

Clean up - April 2026 Latest
Latest

Choose a tag to compare

View all tags
@klavins klavins released this 15 Apr 21:00
v02
13507e9
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

A Cleaned up version with incomplete slide decks hidden.

Assets 2
Loading

EE 598 Completed Course

EE 598 Completed Course

Choose a tag to compare

View all tags
@klavins klavins released this 04 Apr 22:12
v01
db39b7d

This release was made at the conclusion of the Winter 2026 offering of EE 598 at the University of Washington, Seattle.

Loading

v4.28.0-rc1

v4.28.0-rc1

Choose a tag to compare

View all tags
@github-actions github-actions released this 12 Feb 16:45
v4.28.0-rc1
845f19d

Automated release for Lean version v4.28.0-rc1

Loading

v4.26.0-rc2

v4.26.0-rc2

Choose a tag to compare

View all tags
@github-actions github-actions released this 02 Dec 05:55
v4.26.0-rc2
25502da

Automated release for Lean version v4.26.0-rc2

Loading