leanprover-community/mathlib3

Pull Requests Commits

eric-wieser committed 2 years ago

452cead1

easy fixes in a doomed file

eric-wieser committed 2 years ago

aec45cf2

eric-wieser committed 2 years ago

2bbecc2d

eric-wieser committed 2 years ago

2ff5f99f

eric-wieser committed 2 years ago

767231af

eric-wieser committed 2 years ago

288f5826

eric-wieser committed 2 years ago

b5edbe1c

eric-wieser committed 2 years ago

59b0bfd4

eric-wieser committed 2 years ago

9e8d199e

eric-wieser committed 2 years ago

248f2c24

eric-wieser committed 2 years ago

51235b2f

eric-wieser committed 2 years ago

f583fba8

more easy fixes

eric-wieser committed 2 years ago

b0376330

eric-wieser committed 2 years ago

f5213781

eric-wieser committed 2 years ago

ec1b2335

help with elaboration order

eric-wieser committed 2 years ago

0215721e

eric-wieser committed 2 years ago

37fba2fc

eric-wieser committed 2 years ago

d037fc08

eric-wieser committed 2 years ago

528fb3fb

eric-wieser committed 2 years ago

125852f8

eric-wieser committed 2 years ago

f35943af

eric-wieser committed 2 years ago

822bf296

extra underscore

eric-wieser committed 2 years ago

30edb9d7

fix a broken proof

eric-wieser committed 2 years ago

c9115217

eric-wieser committed 2 years ago

97c4c2b2

eric-wieser committed 2 years ago

42c4b667

add a missing base class

eric-wieser committed 2 years ago

a9566e78

eric-wieser committed 2 years ago

01848291

Regex search for `(?<=Type\*[)}] )\[(semi_?)?normed_(add_comm_group [^\]]+)\]`

eric-wieser committed 2 years ago

f4bf66c1

eric-wieser committed 2 years ago

ed568d93

Older