Skip to content

nightly-2020-04-14

Pre-release
Pre-release
Compare
Choose a tag to compare
@leanprover-mathlib-bot leanprover-mathlib-bot released this 14 Apr 19:55
· 2 commits to master since this release
nightly-2020-04-14
2c3a83c
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.

Changes since nightly-2020-04-12:

Full commit log

  • 2c3a83c fix(scanner): read nested doc strings properly (#191)
  • 0106385 fix(frontends/lean/decl_util): collect univ params of implicit i… (#189)
Assets 5
Loading