Skip to content

nightly-2019-11-06

Pre-release
Pre-release
Compare
Choose a tag to compare
@leanprover-mathlib-bot leanprover-mathlib-bot released this 06 Nov 20:26
· 2 commits to master since this release

Changes since nightly-2019-10-01:

Full commit log

  • be8d017 chore(build): Fix Fedora build (#78)