Skip to content

Releases: codewars/lean

Lean 3.39.1 with mathlib fb41da9

11 Feb 08:12
@kazk kazk
3.39.1-fb41da9
469dd28
This commit was created on github.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
Compare
Choose a tag to compare
Lean 3.39.1 with mathlib fb41da9 Latest
Latest 
3.39.1-fb41da9

Merge pull request #1 from monadius/lean-3.39.1
Assets 2
Loading

Lean 3.20.0 with mathlib da66bb8

09 Feb 08:22
@kazk kazk
3.20.0-da66bb8
ac9d789
Compare
Choose a tag to compare
Lean 3.20.0 with mathlib da66bb8 
3.20.0-da66bb8

Use ubuntu 20.04 to avoid building pynacl
Assets 2
Loading