lean-jalean99

These are Lean translations of Ninety-Nine Haskell Problems (WIP)
Sort by
  1. Git dependency.
    Found on Reservoir.

    mdgen0ca20e8

    Tool to generate markdown files from lean files.
  2. Git dependency.
    Found on Reservoir.

    mk-exercise1ace0f6

    Simple and intuitive tool to manage exercises in textbooks written in Lean.