Skip to content

nightly-2020-04-07

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

Full commit log

  • 4b0c279 fix(init/algebra/group): use same definition for add_comm_monoid… (#177)
  • a148f38 Vm override (#48)
  • 8178b17 feat(native.float): add float.of_string and change ceil, `fl… (#176)
  • 28c860b fix(*): make RelaxedImplicit default inferred implicit kind (#175)
  • 0ca8cb2 refactor(algebra): removing unnecessary axioms from group, ring… (#132)
  • 645c63e fix(library/compiler/simp_inductive): fix an assertion violation… (#173)
  • 027bab5 refactor(algebra/*): rename ordered groups/monoids to ordered ad… (#174)
Assets 5
Loading