Skip to content

nightly-2019-11-13

Pre-release
Pre-release
Compare
Choose a tag to compare
@leanprover-mathlib-bot leanprover-mathlib-bot released this 13 Nov 20:26
· 2 commits to master since this release
nightly-2019-11-13
8c2470b
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.

Changes since nightly-2019-11-12:

Full commit log

Assets 6
Loading