Skip to content

nightly-2019-10-01

Pre-release
Pre-release
Compare
Choose a tag to compare
@leanprover-mathlib-bot leanprover-mathlib-bot released this 01 Oct 20:58
· 2 commits to master since this release
nightly-2019-10-01
6ed0977

Changes since nightly-2019-09-13:

Full commit log

  • 6ed0977 fix(build): fix emscripten build in travis (#68)
Assets 6
Loading