Seasawhermdgen

Tool to generate markdown files from lean files.
#cli #markdown
Displaying 1-7 of 7 packages depending on Seasawher/mdgen
Sort by

  1. Seasawher/Lean Bookusesv4.25.0-rc1

    mdbook template for Lean project

  2. lean-ja/Lean by Exampleusesv4.25.0-rc1

    プログラミング言語であるとともに定理証明支援系でもある Lean 言語と、その主要なライブラリの使い方を豊富なコード例とともに解説した資料です。

  3. leanprover-community/lean4-metaprogramming-bookusesv1.3.0

  4. lean-ja/lean99uses0ca20e8

    These are Lean translations of Ninety-Nine Haskell Problems (WIP)

  5. matematiflo/leanprojectuses1794832

    GitHub repository for the seminar on Computer-assisted mathematics held at the University of Heidelberg during the Summer Semester of 2024.

  6. paulch42/leanSpecusesv1.0.0

    Program Specification in Lean 4

  7. matematiflo/SumSquses1794832

    Summing squares in Lean