chore(*): bump to lean-3.26.0 (#5895) - SemanticDiff

Commit

4 years ago

chore(*): bump to lean-3.26.0 (#5895) Co-authored-by: Bryan Gin-ge Chen <bryangingechen@gmail.com>

Author

jcommelin

jcommelin

Parents

Loading