Skip to content

Publishing the lean introduction book as an epub file #299

New issue
New issue
Open
Open
Publishing the lean introduction book as an epub file#299

Description

@martinResearch
martinResearch
opened on Aug 31, 2026

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.

Activity

  1. geodome commented on Sep 11, 2026

    @geodome
    geodome
    on Sep 11, 2026

    EPUB would facilitate dark mode. I need dark mode in order to read.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions