leanprover / leanprover/fp-lean
Publishing the lean introduction book as an epub file
Open
Nobody has claimed this yet.
- Dominant language
- Lean
- Stars
- 192
- Forks
- 73
- PR merge metrics
- No merged PRs in 30d
Description
It would be great to have a downloadable epub file for the book "Functional Programming in Lean" on the official lean page so that we can read it on e-readers.
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Start by locating the source for “Functional Programming in Lean” in this repository and checking how the official Lean page publishes the book. Confirm the EPUB can be downloaded and read on an e-reader; done means the official page offers the book as an EPUB file.
Written by the indexing model from the issue text.
Assessment
- Domain
- documentation
- Issue type
- Documentation
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Active
- Clarity
- Mostly clear
- Newbie friendliness
- 58/100