Commits

Breadcrumbs

History for

onmaster

User selector

All users

All time

Commit history

Commits on Sep 3, 2020

• fix(test/*): make sure tests produce no output (#3947)

  Show description for 7b9db99
  fpvandoorn

  committed
  7b9db99

  Copy full SHA for 7b9db99

Commits on May 27, 2020

• chore(*): split long lines, unindent in namespaces (#2834)

  Show description for 0d6d0b0
  

  urkud

  and

  kim-em

  committed
  0d6d0b0

  Copy full SHA for 0d6d0b0

Commits on May 25, 2020

• fix(tactic/norm_num): workaround int.sub unfolding bug (#2804)

  Show description for a3b3aa6
  

  digama0

  and

  kim-em

  committed
  a3b3aa6

  Copy full SHA for a3b3aa6

Commits on May 18, 2020

• refactor(algebra): merge init_.algebra into algebra (#2707)

  Show description for 8b42245
  

  3 peoplecommitted
  8b42245

  Copy full SHA for 8b42245

Commits on May 15, 2020

• fix(tactic/norm_num): div/mod with negative first arg (#2689)

  Show description for 14a82b3
  digama0

  committed
  14a82b3

  Copy full SHA for 14a82b3

Commits on May 11, 2020

• test(tactic/norm_num): import tests from lean core (#2654)

  digama0

  committed
  eb9e382

  Copy full SHA for eb9e382

Commits on May 9, 2020

• feat(tactic/norm_num): new all-lean norm_num (#2589)

  Show description for b769846
  digama0

  committed
  b769846

  Copy full SHA for b769846

Commits on Apr 9, 2020

• Bugfix for norm num when testing divisibility of integers (#2355)

  Show description for e4e483e
  

  alexjbest

  and

  mergify[bot]

  authored
  e4e483e

  Copy full SHA for e4e483e

Commits on Sep 4, 2019

• fix(tactic/norm_num): bugfix bad proof application (#1387)

  Show description for 79a1f84
  

  digama0

  authored and

  mergify[bot]

  committed
  79a1f84

  Copy full SHA for 79a1f84

Commits on Jan 30, 2019

• chore(test): fix test directory structure

  cipher1024

  committed
  50a03f7

  Copy full SHA for 50a03f7

Loading