Sean Leather

Suggestion: remove leading 0 in frequency field

1

When adding a plant, if I tap on the FREQUENCY field and type `5`, I get `05` because the initial `0` is still there. For ease of reading, I think...

Write Section 7.8 Well-Founded Recursion

1

Just leaving this issue here as a reminder for the TODO in the text (from aaa36e6 on Dec 30, 2014).

Naming conventions doc has significant amount of duplicated text

1

[`docs/naming.md`](https://github.com/leanprover/mathlib/blob/a97101d2df5d186848075a2d0452f6a04d8a13eb/docs/naming.md) has entire sections of nearly duplicate text. Just search for “Sometimes” and you'll find it.

Overriding HTTP response headers

2

I'm looking into possibly using Amazon S3 pre-signed URLs for downloading S3 objects, and I found `s3-signer`. I wanted to know if it's possible to use `s3-signer` to [override HTTP...