Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Tags: T-Brick/Numbers

Tags

v24.04.0

Toggle v24.04.0's commit message 
bump to

leanprover/lean4:v4.6.1

v24.03.0

Toggle v24.03.0's commit message 
bump to leanprover/lean4:v4.6.0

v24.02.2

Toggle v24.02.2's commit message 
bump to leanprover/lean4:v4.6.0-rc1

v24.02.1

Toggle v24.02.1's commit message 
add build workflow

v24.02.0

Toggle v24.02.0's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode 
Create LICENSE