lean-jalean99

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

    mdgen0ca20e8

    Tool to generate markdown files from lean files. This is heavily inspired by lean2md.
  2. Git dependency.
    Found on Reservoir.

    mk-exercise1ace0f6

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