Seasawhermdgen

Tool to generate markdown files from lean files.
#cli #markdown
Displaying 1-20 of 42 versions of mdgen
Sort by
  1. Not a part of any version track.
    106e237
    v4.35.0-rc3
    2 days ago
    Released on September 26, 2026 at 4:44:51AM
    Commit 106e237 builds on its recent leanprover/lean4:v4.35.0-rc3
    v4.35.0-rc3
    626.6 KB Build archive size: 626610 bytes.
  2. Not a part of any version track.
    106e237
    v4.35.0-rc3
    2 days ago
    Released on September 26, 2026 at 4:44:51AM
    Commit 106e237 builds on its recent leanprover/lean4:v4.35.0-rc3
    v4.35.0-rc3
    626.6 KB Build archive size: 626610 bytes.
  3. Not a part of any version track.
    5995665
    v4.35.0-rc2
    7 days ago
    Released on September 20, 2026 at 3:12:37PM
    Commit 5995665 builds on its recent leanprover/lean4:v4.35.0-rc2
    v4.35.0-rc2
    626.7 KB Build archive size: 626661 bytes.
  4. Not a part of any version track.
    eada6b6
    v4.34.0
    10 days ago
    Released on September 17, 2026 at 11:51:26AM
    Commit eada6b6 builds on its recent leanprover/lean4:v4.34.0
    v4.34.0
    631.9 KB Build archive size: 631884 bytes.
  5. Not a part of any version track.
    592bc08
    v4.34.0-rc2
    a month ago
    Released on August 22, 2026 at 12:49:32PM
    Commit 592bc08 builds on its recent leanprover/lean4:v4.34.0-rc2
    v4.34.0-rc2
    631.9 KB Build archive size: 631931 bytes.
  6. Not a part of any version track.
    bc63b47
    v4.34.0-rc1
    a month ago
    Released on August 19, 2026 at 2:35:15PM
    Commit bc63b47 builds on its recent leanprover/lean4:v4.34.0-rc1
    v4.34.0-rc1
    631.6 KB Build archive size: 631568 bytes.
  7. Not a part of any version track.
    a5608b2
    v4.33.0
    a month ago
    Released on August 19, 2026 at 2:28:17PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.33.0
  8. Not a part of any version track.
    6765cc2
    v4.33.0-rc2
    2 months ago
    Released on August 8, 2026 at 9:19:57AM
    Commit 6765cc2 builds on its old leanprover/lean4:v4.33.0-rc2
    v4.33.0-rc2
    631.2 KB Build archive size: 631238 bytes.
  9. Not a part of any version track.
    c220701
    v4.33.0-rc1
    2 months ago
    Released on July 15, 2026 at 8:10:25PM
    Commit c220701 builds on its old leanprover/lean4:v4.33.0-rc1
    v4.33.0-rc1
    629.3 KB Build archive size: 629340 bytes.
  10. Not a part of any version track.
    a54721c
    v4.32.0
    2 months ago
    Released on July 15, 2026 at 7:50:45PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.32.0
  11. Not a part of any version track.
    71899f9
    v4.32.0-rc1
    3 months ago
    Released on June 25, 2026 at 4:25:37PM
    Commit 71899f9 builds on its old leanprover/lean4:v4.32.0-rc1
    v4.32.0-rc1
    590.5 KB Build archive size: 590491 bytes.
  12. Not a part of any version track.
    b1a3a04
    v4.31.0
    3 months ago
    Released on June 15, 2026 at 5:03:56PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.31.0
  13. Not a part of any version track.
    e061a86
    v4.31.0-rc2
    4 months ago
    Released on June 9, 2026 at 2:46:08AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.31.0-rc2
  14. Not a part of any version track.
    42e0ee9
    v4.31.0-rc1
    4 months ago
    Released on May 29, 2026 at 2:06:08PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.31.0-rc1
  15. Not a part of any version track.
    8a448a5
    v4.30.0
    4 months ago
    Released on May 28, 2026 at 1:38:40PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.30.0
  16. Not a part of any version track.
    07f285c
    v4.30.0-rc2
    5 months ago
    Released on April 20, 2026 at 2:46:02PM
    Commit 07f285c builds on its old leanprover/lean4:v4.30.0-rc2
    v4.30.0-rc2
    589.3 KB Build archive size: 589271 bytes.
  17. Not a part of any version track.
    449df44
    v4.30.0-rc1
    6 months ago
    Released on April 8, 2026 at 3:28:00PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.30.0-rc1
  18. Not a part of any version track.
    0c38f91
    v4.29.0-rc8
    6 months ago
    Released on March 27, 2026 at 12:22:53PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.29.0-rc8
  19. Not a part of any version track.
    d38ecdf
    v4.29.0-rc7
    6 months ago
    Released on March 23, 2026 at 1:47:12PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.29.0-rc7
  20. Not a part of any version track.
    a034b3e
    v4.29.0-rc6
    7 months ago
    Released on March 13, 2026 at 3:47:44PM
    Commit a034b3e builds on its old leanprover/lean4:v4.29.0-rc6
    v4.29.0-rc6
    573.5 KB Build archive size: 573546 bytes.