No results found

lean99

These are Lean translations of Ninety-Nine Haskell Problems (WIP)
Displaying 1-3 of 3 dependencies of lean99
Sort by

  1. mk-exercise
    1ace0f6

  2. Cli
    2cf1030

  3. mdgen
    a6f34a4