leanprover-community / leanprover-community/lean4-metaprogramming-book
Pdf is not including images from markdown
Nobody has claimed this yet.
- Dominant language
- Lean
- Stars
- 310
- Forks
- 78
- Avg merge
- 2h 7m
- Merged PRs (30d)
- 4
Description
Exporting the book in
A PDF is available here for download (and is rebuilt on each change).
Is generating a PDF which does not contain the images. A first example of this can be seen in "Connection to Compilers"
Which is not showing the diagram, that is available in the markdown file:
As with all the following diagrams and images
Contributor guide
No contributing guide indexed for this repository
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
Download the PDF linked in the issue and compare its “Connection to Compilers” section with the referenced markdown images. The issue names no source files or tests; done means the generated PDF includes that diagram and the other images present in the markdown.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- markdown
- Domain
- documentation
- Issue type
- Bug
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 35/100