Commits

Breadcrumbs

History for

onmaster

User selector

All users

All time

Commit history

Commits on Aug 15, 2020

• fix(tactic/apply): fix ordering of goals produced by `apply` (#3777)

  cipher1024

  committed
  b670212

  Copy full SHA for b670212

Commits on Jul 21, 2020

• refactor(topology/algebra/monoid): changed topological_monoid into has_continuous_mul (#3481)

  Show description for 0322d89
  

  Nicknamen

  and

  kbuzzard

  committed
  0322d89

  Copy full SHA for 0322d89

Commits on Feb 23, 2020

• chore(test): don't use sorry in tests, to reduce noise (#2043)

  Show description for 256bedc
  

  kim-em

  and

  mergify[bot]

  authored
  256bedc

  Copy full SHA for 256bedc

Commits on Dec 1, 2019

• refactor(topology/algebra): use the dot notation in `continuous_mul` and friends (#1758)

  Show description for 431551a
  

  sgouezel

  authored and

  mergify[bot]

  committed
  431551a

  Copy full SHA for 431551a

Commits on Aug 23, 2019

• feat(tactic/apply'): apply without unfolding type definitions (#1234)

  Show description for 9a42572
  

  cipher1024

  authored and

  mergify[bot]

  committed
  9a42572

  Copy full SHA for 9a42572

Loading