No results found

lean99

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

    mk-exercise1ace0f6

    Simple and intuitive tool to manage exercises in textbooks written in Lean.
  2. Git dependency.
    Found on Reservoir.

    mdgend1585cb

    Tool to generate markdown files from lean files.